Gianluigi Bellin
According to our database1,
Gianluigi Bellin
authored at least 14 papers
between 1992 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
0
1
2
3
4
2
1
1
2
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018
2017
2014
On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems.
Fundam. Informaticae, 2014
Log. Methods Comput. Sci., 2014
2006
Theor. Comput. Sci., 2006
2004
2003
J. Log. Comput., 2003
Proceedings of the Logic for Concurrency and Synchronisation, 2003
Proceedings of the Logic for Concurrency and Synchronisation, 2003
1998
Arch. Math. Log., 1998
1997
Math. Struct. Comput. Sci., 1997
1994
1992
A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and its Implementation.
Theor. Comput. Sci., 1992