Mati Pentus
Orcid: 0000-0002-9483-7594
According to our database1,
Mati Pentus
authored at least 12 papers
between 1993 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
0
1
2
3
4
1
1
2
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
Proceedings of the Categories and Types in Logic, Language, and Physics, 2014
2010
Proceedings of the Advances in Modal Logic 8, 2010
2006
1999
Provability, complexity, grammars.
American Mathematical Society translations series 2 192, American Mathematical Society, ISBN: 978-0-8218-1078-1, 1999
1997
Equivalence of Multiplicative Fragments of Cyclic Linear Logic and Noncommutative Linear Logic.
Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997
1995
Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, 1995
1994
J. Log. Lang. Inf., 1994
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994
1993
Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993