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, D., Gehrke, M., & van Rooijen, L. (2013). Relational semantics for full linear logic. Journal of Applied Logic, 12(1), 50–66. https://doi.org/10.1016/j.jal.2013.07.005
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6730
Place, T., van Rooijen, L., & Zeitoun, M. (2013). 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 (Vol. 24, pp. 363--375). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPICS.FSTTCS.2013.363
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6732
Place, T., van Rooijen, L., & Zeitoun, M. (2013). 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 (pp. 729–740). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-40313-2_64
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 7342
Chernilovskaya, A., Gehrke, M., & van Rooijen, L. (2012). Generalized Kripke semantics for the Lambek-Grishin calculus. Logic Journal of IGPL, 20(6), 1110–1132. https://doi.org/10.1093/jigpal/jzr051
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 6733
Chernilovskaya, A., Gehrke, M., & van Rooijen, L. (2012). Generalized Kripke semantics for the Lambek-Grishin calculus. Logic Journal of IGPL, 20(6), 1110–1132. https://doi.org/10.1093/jigpal/jzr051
LibreCat
| DOI