- Modular Array Structure for Non-Restoring Square Root Circuit S. Samavi A. Sadrabadi A. Fanian Sun 10 May 2020
- Holonomic generating functions and context-free languages Alberto Bertoni Paolo Massazza Nicoletta Sabadini Sun 10 May 2020
- A Completeness Theorem in Modal Logic (paper) Kripke Saul Sat 09 May 2020
- On the Multiplicity Equivalence Problem for Context-Free Grammars Werner Kuich Fri 08 May 2020
- A subclass of deterministic context-free languages with a decidable inclusion problem P. V. Gorshkov A. B. Stavrovskii Fri 08 May 2020
- Characterization of rational and algebraic power series Wolfgang Wechler Fri 08 May 2020
- On Formal Power Series Solutions of Algebraic Ordinary Differential Equations Yi Zhang Sebastian Falkensteiner Thieu N. Vo Fri 08 May 2020
- Computing with D-algebraic power series Joris van der Hoeven Thu 07 May 2020
- Automata-Theoretic Model Checking Revisited Moshe Y. Vardi Thu 07 May 2020
- Timed Concurrent Game Structures Thomas Brihaye François Laroussinie Nicolas Markey Ghassan Oreiby Thu 07 May 2020
- Application of logic to combinatorial sequences and their recurrence relations Eldar Fischer Tomer Kotek Johann A. Makowsky Thu 07 May 2020
- Ramsey Classes: Examples and Constructions Manuel Bodirsky Thu 07 May 2020
- Ramsey Classes and Homogeneous Structures Jaroslav Nešetřil Thu 07 May 2020
- Some relational structures with polynomial growth and their associated algebras II: Finite generation Maurice Pouzet Nicolas M. Thiéry Thu 07 May 2020
- Some relational structures with polynomial growth and their associated algebras I: Quasi-polynomiality of the profile Maurice Pouzet Nicolas M. Thiéry Thu 07 May 2020
- Quantifier elimination for a class of exponential polynomial formulas Ming Xu Zhi-Bin Li Lu Yang Wed 06 May 2020
- Deciding Polynomial-Exponential Problems Melanie Achatz Scott McCallum Volker Weispfenning Wed 06 May 2020
- A Formal Framework for Complex Event Processing Alejandro Grez Cristian Riveros Martín Ugarte Wed 06 May 2020
- Processing Flows of Information: From Data Stream to Complex Event Processing Gianpaolo Cugola Alessandro Margara Wed 06 May 2020
- From liveness to promptness Orna Kupferman Nir Piterman Moshe Y. Vardi Wed 06 May 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
