- The Expressive Power of Higher-Order Datalog ANGELOS CHARALAMBIDIS CHRISTOS NOMIKOS PANOS RONDOGIANNIS Fri 02 March 2012
- Difference fields and descent in algebraic dynamics. I Zoé Chatzidakis Ehud Hrushovski Fri 02 March 2012
- Comparison of Several Periodic Operations of a Continuous Fermentation Process Lier Ruan Xiao Dong Chen Fri 02 March 2012
- The Generation of a Unique Machine Description for Chemical Structures-A Technique Developed at Chemical Abstracts Service. H. L. Morgan Fri 02 March 2012
- On using the adjacency matrix power method for perception of symmetry and for isomorphism testing of highly intricate graphs Gerta. Ruecker Christoph. Ruecker Fri 02 March 2012
- Modal Languages and Bounded Fragments of Predicate Logic Hajnal Andréka István Németi Johan van Benthem Fri 02 March 2012
- A Note on Graded Modal Logic Maarten de Rijke Fri 02 March 2012
- N/A G. M. Bierman V. C. V. de Paiva Fri 02 March 2012
- Efficient Approximations for the Marginal Likelihood of Bayesian Networks with Hidden Variables David Maxwell Chickering David Heckerman Fri 02 March 2012
- An Equational Axiomatization of Dynamic Negation and Relational Composition Marco Hollenberg Fri 02 March 2012
- Dynamical Properties of Timed Automata Anuj Puri Fri 02 March 2012
- Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs Bernard Boigelot Patrice Godefroid Fri 02 March 2012
- Linear-Time Self-Interpretation of the Pure Lambda Calculus Torben Æ. Mogensen Fri 02 March 2012
- Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler Yoshihiko Futamura Fri 02 March 2012
- Model Checking of Safety Properties Orna Kupferman Moshe Y. Vardi Fri 02 March 2012
- Spatio-Temporal Data Handling with Constraints Stéphane Grumbach Philippe Rigaux Luc Segoufin Fri 02 March 2012
- Fine Analysis of the Quasi-Orderings on the Power Set Alberto Marcone Fri 02 March 2012
- Interval-Valued Finite Markov Chains Igor O. Kozine Lev V. Utkin Fri 02 March 2012
- Approximate Symbolic Analysis of Hierarchically Decomposed Analog Circuits O. Guerra E. Roca F. V. Fernández A. Rodríguez-Vázquez Fri 02 March 2012
- Autarkic Computations in Formal Proofs Henk Barendregt Erik Barendsen Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
