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
D. Coumans, M. Gehrke, and L. van Rooijen, “Relational semantics for full linear logic,” Journal of Applied Logic, vol. 12, no. 1, pp. 50–66, 2013.
LibreCat | DOI
 

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

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

2012 | Journal Article | LibreCat-ID: 7342
A. Chernilovskaya, M. Gehrke, and L. van Rooijen, “Generalized Kripke semantics for the Lambek-Grishin calculus,” Logic Journal of IGPL, vol. 20, no. 6, pp. 1110–1132, 2012.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 6733
A. Chernilovskaya, M. Gehrke, and L. van Rooijen, “Generalized Kripke semantics for the Lambek-Grishin calculus,” Logic Journal of IGPL, vol. 20, no. 6, pp. 1110–1132, 2012.
LibreCat | DOI
 

Filters and Search Terms

(author=58843)

status=public

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed