- Separability by Piecewise Testable Languages is PTime-Complete Tomáš Masopust Wed 06 September 2017
- 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
- Adding Dense-Timed Stack to Integer Reset Timed Automata Devendra Bhave Shibashis Guha Tue 05 September 2017
- What is Decidable about Perfect Timed Channels Parosh Aziz Abdulla Mohamed Faouzi Atig S. Krishna Tue 22 August 2017
- Alfred Tarski and a watershed meeting in logic: Cornell, 1957 Solomon Feferman Mon 21 August 2017
- Truth and Proof Alfred Tarski Mon 21 August 2017
- Realization of Events by Logical Nets Irving M. Copi Calvin C. Elgot Jesse B. Wright Thu 17 August 2017
- Three Models for the Description of Language Noam Chomsky Wed 16 August 2017
- Higher-Order Linearisability Andrzej S. Murawski Nikos Tzevelekos Sun 30 July 2017
- On Petri Nets with Hierarchical Special Arcs S. Akshay Supratik Chakraborty Ankush Das Vishal Jagannath Sai Sandeep Sun 30 July 2017
- Data Multi-Pushdown Automata Mohamed Faouzi Atig Aiswarya Cyriac Parosh Aziz Abdulla Sun 30 July 2017
- Monadic Second Order Logic with Measure and Category Quantifiers Henryk Michalewski Matteo Mio Michał Skrzypczak Sat 29 July 2017
- Measure Quantifier in Monadic Second Order Logic Henryk Michalewski Matteo Mio Sat 29 July 2017
- Thin MSO with a Probabilistic Path Quantifier Mikolaj Bojanczyk Sat 29 July 2017
- The Complexity of Decision Procedures in Relevance Logic II Alasdair Urquhart Wed 26 July 2017
- Provably Difficult Combinatorial Games Larry J. Stockmeyer Ashok K. Chandra Thu 20 July 2017
- Complexity of automaton identification from given data E Mark Gold Thu 20 July 2017
- Counting Results in Weak Formalisms Arnaud Durand Clemens Lautemann Malika More Thu 20 July 2017
- Rank Predicates vs. Progress Measures in Concurrent-Program Verification Moshe Y. Vardi Tue 18 July 2017
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
