- Deciding Properties of Integral Relational Automata Karlis Cerans Wed 06 September 2017
- A Closed-form Evaluation for Datalog Queries with Integer (Gap)-order Constraints Peter Z. Revesz Wed 06 September 2017
- Branching-Time Model Checking Gap-Order Constraint Systems Richard Mayr Patrick Totzke Wed 29 October 2014
- Push-Down Automata with Gap-Order Constraints Parosh Aziz Abdulla Mohamed Faouzi Atig Giorgio Delzanno Andreas Podelski Tue 12 November 2013
Library Size: 13G (4 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A