- Methods and Theory of Automata and Languages Frank Stephan Tue 18 July 2017
- A note on logical relations between semantics and syntax AM Pitts Tue 18 July 2017
- A Constructive Proof of the Topological Kruskal Theorem Jean Goubault-Larrecq Tue 18 July 2017
- Well-ordering of algebras and Kruskal's theorem Ryu Hasegawa Tue 18 July 2017
- Towards an Efficient Tree Automata based technique for Timed Systems S. Akshay Paul Gastin Shankara Narayanan Krishna Ilias Sarkar Tue 18 July 2017
- On Derivation Trees of Indexed Grammars —An Extension of the uvwxy-Theorem— Takeshi Hayashi Mon 17 July 2017
- Input-driven languages are in log n depth Patrick W. Dymond Sat 15 July 2017
- Input Driven Languages are Recognized in log n Space Burchard von Braunmuhl Rutger Verbeek Sat 15 July 2017
- Stack Size Analysis for Interrupt-driven Programs Krishnendu Chatterjee Di Ma Rupak Majumdar Tian Zhao Thomas A. Henzinger Jens Palsberg Sat 15 July 2017
- Models of axiomatic theories admitting automorphisms Andrzej Ehrenfeucht Andrzej Mostowski Mon 10 July 2017
- Ehrenfeucht A. and Mostowski A.. Models of axiomatic theories admitting automorphisms. Fundamenta mathematicae, vol. 43 (1956), pp. 50--68. R. L. Vaught Mon 10 July 2017
- Modular Monadic Semantics and Compilation Sheng Liang Mon 10 July 2017
- Two theories with axioms built by means of pleonasms Andrzej Ehrenfeucht Sun 09 July 2017
- On a Problem of Tarski Julius Richard Buchi Sun 09 July 2017
- Application of Recursive Arithmetic to the Problem of Circuit Synthesis Alonzo Church Sun 09 July 2017
- Review: Application of Recursive Arithmetic to the Problem of Circuit Synthesis by Alonzo Church Joyce Friedman Sun 09 July 2017
- A Variant to Turing's Theory of Computing Machines Hao Wang Sun 09 July 2017
- Multi-tape and Infinite-state Automata - a Survey Patrick C. Fischer Sun 09 July 2017
- Trahténbrot B. A.. Ob opératorah réalizuémyh v logičéskih sétah (On operators realizable in logical nets). Doklady Akadémii Nauk SSSR, vol. 112 (1957), pp. 1005--1007. Andrzej Blikle Sun 09 July 2017
- Trahténbrot B. A.. Asimptotičéskaá océnka slożnosti logičéskih sétéj s památú. Doklady Akadémii Nauk SSSR, vol. 127 (1959), pp. 281--284. Trahtenbrot B. A.. Asymptotic evaluation of the complexity of logic nets with memory. English translation of the above. Automation express,, vol. 2 (1959), pp. 13--14. Andrzej Blikle Sun 09 July 2017
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
