arXiv 2004-07-22 EN PELCR: Parallel Environment for Optimal Lambda-Calculus Reduction Pedicini, M. · Quaglia, F.
arXiv 2004-03-31 EN Scalable Probabilistic Models for 802.11 Protocol Verification Roy, Amitabha · Gopinath, K.
arXiv 2004-02-16 EN Recycling Computed Answers in Rewrite Systems for Abduction Lin, Fangzhen · You, Jia-Huai
arXiv 2004-02-09 EN Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion Hitzler, Pascal
arXiv 2003-12-22 EN On the Expressibility of Stable Logic Programming Marek, Victor W. · Remmel, Jeffrey B.
arXiv 2003-08-05 EN Constant-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations Impagliazzo, Russell · Segerlind, Nathan
arXiv 2003-05-27 EN Applications of Intuitionistic Logic in Answer Set Programming Osorio, Mauricio · Navarro, Juan Antonio · Arrazola, Jose
arXiv 2003-01-24 EN Double-Negation Elimination in Some Propositional Logics Beeson, Michael · Veroff, Robert · Wos, Larry
arXiv 2002-07-17 EN Knuth-Bendix constraint solving is NP-complete Korovin, Konstantin · Voronkov, Andrei
arXiv 2001-10-11 EN On Equivalence and Canonical Forms in the LF Type Theory Harper, Robert · Pfenning, Frank
