- documents Isabella Paoletta Fri 28 June 2019
- A Congruence-based Perspective on Automata Minimization Algorithms Pierre Ganty Elena Gutiérrez Pedro Valero Fri 28 June 2019
- Regular Separability of One Counter Automata Wojciech Czerwiński Sławomir Lasota Fri 28 June 2019
- Investigating Compilation Errors of Students Learning Haskell Boldizsár Németh Eunjong Choi Erina Makihara Hajimu Iida Fri 28 June 2019
- AUTOBÓZ - OPEN PROBLEMS IN AUTOMATA, LOGIC, GAMES, AND RELATED TOPICS AAVV Fri 28 June 2019
- Distance Between Mutually Reachable Petri Net Configurations Jérôme Leroux Thu 27 June 2019
- VASS converability in EXPSPACE Wojciech Czerwiński Wed 26 June 2019
- On the translation of languages from left to right Donald E. Knuth Tue 25 June 2019
- Economy of description by automata, grammars, and formal systems A. R. Meyer M. J. Fischer Tue 25 June 2019
- Undecidability of Bisimilarity by Defender's Forcing Petr Jančar Jivří Srba Tue 25 June 2019
- Reachability in Database-driven Systems with Numerical Attributes Under Recency Bounding Parosh Aziz Abdulla C. Aiswarya Mohamed Faouzi Atig Marco Montali Tue 25 June 2019
- A theory of asynchronous circuits David E. Muller W. Scott Bartky Tue 25 June 2019
- Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques Stefan Kiefer Cas Widdershoven Tue 25 June 2019
- Verification and Control of Turn-Based Probabilistic Real-Time Games Marta Kwiatkowska Gethin Norman David Parker Mon 24 June 2019
- Index Problems for Game Automata Alessandro Facchini Filip Murlak Michał Skrzypczak Fri 21 June 2019
- Finite Query Answering in Expressive Description Logics with Transitive Roles Tomasz Gogacz Yazmin Ibanez-Garcia Filip Murlak Fri 21 June 2019
- Reasoning about integrity constraints for tree-structured data Wojciech Czerwiński Claire David Filip Murlak Paweł Parys Fri 21 June 2019
- Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151) Serge Abiteboul Marcelo Arenas Pablo Barceló Meghyn Bienvenu Diego Calvanese Claire David Richard Hull Eyke Hullermeier Benny Kimelfeld Leonid Libkin Wim Martens Tova Milo Filip Murlak Frank Neven Magdalena Ortiz Thomas Schwentick Julia Stoyanovich Jianwen Su Dan Suciu Victor Vianu Ke Yi Fri 21 June 2019
- Ontology Focusing: Knowledge-enriched Databases on Demand Tomasz Gogacz Víctor Gutiérrez-Basulto Yazmín A. Ibáñez-García Filip Murlak Magdalena Ortiz Mantas Šimkus Fri 21 June 2019
- On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles Tomasz Gogacz Víctor Gutiérrez-Basulto Yazmin Ibáñez-García Jean Christoph Jung Filip Murlak Fri 21 June 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
