- A Framework for Defining Logics Robert Harper Furio Honsell Gordon Plotkin Sat 10 August 2019
- Episodic Logic Meets Little Red Riding Hood: A Comprehensive Natural Representation for Language Understanding Lenhart K. Schubert Chung Hee Hwang Fri 09 August 2019
- Families of DFAs as Acceptors of ømega-Regular Languages Dana Angluin Udi Boker Dana Fisman Fri 09 August 2019
- Parikh Matrices for Powers of Words Adrian Atanasiu Ghajendran Poovanandran Wen Chean Teh Fri 09 August 2019
- Satisfiability of Word Equations with Constants is in PSPACE Wojciech Plandowski Thu 08 August 2019
- The Problem of Solvability of Equations in a Free Semigroup G S Makanin Thu 08 August 2019
- Linear unification of higher-order patterns Zhenyu Qian Thu 08 August 2019
- Linear Second-Order Unification and Context Unification with Tree-Regular Constraints Jordi Levy Mateu Villaret Thu 08 August 2019
- A Logic Programming Language with Lambda-abstraction, Function Variables, and Simple Unification Dale Miller Thu 08 August 2019
- Linear second-order unification Jordi Levy Thu 08 August 2019
- Equations over sets of integers with addition only Artur Jeż Alexander Okhotin Thu 08 August 2019
- Recompression: A Simple and Powerful Technique for Word Equations Artur Jeż Thu 08 August 2019
- Deciding Context Unification (with Regular Constraints) Artur Jeż Thu 08 August 2019
- Recompression: a simple and powerful technique for word equations Artur Jeż Thu 08 August 2019
- A Linear Upper Bound on the Weisfeiler-Leman Dimension of Graphs of Bounded Genus Martin Grohe Sandra Kiefer Thu 08 August 2019
- A Survey of Symbolic Execution Techniques Roberto Baldoni Emilio Coppa Daniele Cono D'Elia Camil Demetrescu Irene Finocchi Wed 07 August 2019
- Survey of machine learning techniques for malware analysis Daniele Ucci Leonardo Aniello Roberto Baldoni Wed 07 August 2019
- Continuity of Functional Transducers: A Profinite Study of Rational Functions Michael Cadilhac Olivier Carton Charles Paperman Wed 07 August 2019
- The typed łambda-calculus is not elementary recursive Richard Statman Wed 07 August 2019
- Modular Descriptions of Regular Functions Paul Gastin Tue 06 August 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
