Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

15 Publications


2013 | Journal Article | LibreCat-ID: 6729
Relational semantics for full linear logic
D. Coumans, M. Gehrke, L. van Rooijen, Journal of Applied Logic 12 (2013) 50–66.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 6730
Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages
T. Place, L. van Rooijen, M. Zeitoun, in: Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013, pp. 363--375.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 6732
Separating Regular Languages by Piecewise Testable and Unambiguous Languages
T. Place, L. van Rooijen, M. Zeitoun, in: Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 729–740.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 7342
Generalized Kripke semantics for the Lambek-Grishin calculus
A. Chernilovskaya, M. Gehrke, L. van Rooijen, Logic Journal of IGPL 20 (2012) 1110–1132.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 6733
Generalized Kripke semantics for the Lambek-Grishin calculus
A. Chernilovskaya, M. Gehrke, L. van Rooijen, Logic Journal of IGPL 20 (2012) 1110–1132.
LibreCat | DOI
 

Filters and Search Terms

(person=58843)

status=public

Search

Filter Publications

Display / Sort

Export / Embed