- Separating Regular Languages with First-order Logic Thomas Place Marc Zeitoun Fri 29 January 2016
- Weaker Forms of Monotonicity for Declarative Networking: A More Fine-grained Answer to the Calm-conjecture Tom J. Ameloot Bas Ketsman Frank Neven Daniel Zinn Fri 01 August 2014
- The Alternation Hierarchy in Fixpoint Logic with Chop is Strict Too Martin Lange Wed 19 March 2014
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
