arXiv 2004-07-17 EN The First-Order Theory of Sets with Cardinality Constraints is Decidable Kuncak, Viktor · Rinard, Martin
arXiv 2004-07-02 EN Predicate Abstraction with Indexed Predicates Lahiri, Shuvendu K. · Bryant, Randal E.
arXiv 2004-07-02 EN The semijoin algebra and the guarded fragment Leinders, Dirk · Tyszkiewicz, Jerzy · Bussche, Jan Van den
arXiv 2004-06-07 EN Optimization of Bound Disjunctive Queries with Constraints Greco, G. · Greco, S. · Trubtsyna, I. · Zumpano, E.
arXiv 2004-06-02 EN Dichotomy Theorems for Alternation-Bounded Quantified Boolean Formulas Hemaspaandra, Edith
arXiv 2004-05-27 EN On model checking data-independent systems with arrays without reset Lazic, R. S. · Newcomb, T. C. · Roscoe, A. W.
arXiv 2004-05-26 EN A Coalgebraic Approach to Kleene Algebra with Tests Chen, Hubie · Pucella, Riccardo
arXiv 2004-04-23 EN Incompleteness of States w.r.t. Traces in Model Checking Giacobazzi, Roberto · Ranzato, Francesco
arXiv 2004-04-08 EN Decidability and Universality in Symbolic Dynamical Systems Delvenne, Jean-Charles · Kurka, Petr · Blondel, Vincent
arXiv 2004-03-31 EN Scalable Probabilistic Models for 802.11 Protocol Verification Roy, Amitabha · Gopinath, K.
arXiv 2004-03-21 EN Integrating design synthesis and assembly of structured objects in a visual design language Banyasad, Omid · Cox, Philip T.
arXiv 2004-03-16 EN An Application of Rational Trees in a Logic Programming Interpreter for a Procedural Language Carro, Manuel
arXiv 2004-03-15 EN Uniform Proofs of Order Independence for Various Strategy Elimination Procedures Apt, Krzysztof R.
arXiv 2004-03-09 EN Polymorphic lemmas and definitions in Lambda Prolog and Twelf Appel, Andrew W. · Felty, Amy P.
arXiv 2004-02-20 EN Transformation Rules for Locally Stratified Constraint Logic Programs Fioravanti, Fabio · Pettorossi, Alberto · Proietti, Maurizio
