Lorijn Van Rooijen

Available identifiers

zbMath Open van-rooijen.lorijnMaRDI QIDQ280839

List of research outcomes

Publication	Date of Publication	Type
A characterization for decidable separability by piecewise testable languages	2018-12-10	Paper
Separating regular languages by locally testable and locally threshold testable languages	2017-02-21	Paper
Relational semantics for full linear logic	2016-05-10	Paper
A Note on Decidable Separability by Piecewise Testable Languages	2015-09-29	Paper
On separation by locally testable and locally threshold testable languages	2014-09-30	Paper
Separating regular languages by piecewise testable and unambiguous languages	2013-09-20	Paper
Generalized Kripke semantics for the Lambek-Grishin calculus	2013-04-17	Paper

Research outcomes over time

This page was built for person: Lorijn Van Rooijen