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
Coumans, Dion, Mai Gehrke, and Lorijn van Rooijen. “Relational Semantics for Full Linear Logic.” Journal of Applied Logic 12, no. 1 (2013): 50–66. https://doi.org/10.1016/j.jal.2013.07.005.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6730
Place, Thomas, Lorijn van Rooijen, and Marc 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, 24:363--375. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. https://doi.org/10.4230/LIPICS.FSTTCS.2013.363.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6732
Place, Thomas, Lorijn van Rooijen, and Marc 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, 729–40. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. https://doi.org/10.1007/978-3-642-40313-2_64.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 7342
Chernilovskaya, Anna, Mai Gehrke, and Lorijn van Rooijen. “Generalized Kripke Semantics for the Lambek-Grishin Calculus.” Logic Journal of IGPL 20, no. 6 (2012): 1110–32. https://doi.org/10.1093/jigpal/jzr051.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 6733
Chernilovskaya, A., M. Gehrke, and Lorijn van Rooijen. “Generalized Kripke Semantics for the Lambek-Grishin Calculus.” Logic Journal of IGPL 20, no. 6 (2012): 1110–32. https://doi.org/10.1093/jigpal/jzr051.
LibreCat
| DOI