- Data Communicating Processes with Unreliable Channels Parosh Aziz Abdulla C. Aiswarya Mohamed Faouzi Atig Mon 12 March 2018
- Binary reachability of timed pushdown automata via quantifier elimination Lorenzo Clemente Sławomir Lasota Mon 12 March 2018
- WQO dichotomy for 3-graphs Sławomir Lasota Radosław Piórkowski Mon 12 March 2018
- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes Stephane Le Roux Guillermo A. Perez Mon 12 March 2018
- ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback Bartosz Piotrowski Josef Urban Mon 12 March 2018
- Recursion Schemes and the WMSO+U Logic Pawel Parys Thu 08 March 2018
- Once upon a Time in the West Dietmar Berwanger Erich Gradel Stephan Kreutzer Wed 07 March 2018
- Martin's Axiom MaryEllen Rudin Wed 07 March 2018
- Generating Hard but Solvable SAT Formulas André Schumacher Sun 04 March 2018
- Hard and Easy Distributions of SAT Problems David Mitchell Bart Selman Hector Levesque Sat 03 March 2018
- The shortest common supersequence problem over binary alphabet is NP-complete Kari-Jouko Raiha Esko Ukkonen Sat 03 March 2018
- Graph Isomorphism in Quasipolynomial Time László Babai Sat 03 March 2018
- Definable isomorphism problem Khadijeh Keshvardoost Bartek Klin Sławomir Lasota Joanna Ochremiak Szymon Toruńczyk Sat 03 March 2018
- The Equivalence Problem for Finite Automata: Technical Perspective Thomas A. Henzinger Jean-François Raskin Fri 02 March 2018
- Typing weak MSOL properties Sylvain Salvati Igor Walukiewicz Fri 02 March 2018
- A Functional Program for Regular Expressions Matching Thomas Wilke Fri 02 March 2018
- Backward Deterministic Buchi Automata on Infinite Words Thomas Wilke Thu 01 March 2018
- Backward deterministic and weak alternating ømega-automata Sebastian Preugschat Thomas Wilke Thu 01 March 2018
- Past, Present, and Infinite Future Thomas Wilke Thu 01 March 2018
- Profile trees for Buchi word automata, with application to determinization Seth Fogarty Orna Kupferman Moshe Y. Vardi Thomas Wilke Thu 01 March 2018
Library Size: 13G (12983 entries),
Last Updated: Apr 23, 2026, 14:40:46,
Build Time: N/A
