arXiv 2001-01-16 EN A Classification of Symbolic Transition Systems Henzinger, Thomas A. · Majumdar, Rupak · Raskin, Jean-Francois
arXiv 2000-11-23 EN A syntactical analysis of non-size-increasing polynomial time computation Aehlig, Klaus · Schwichtenberg, Helmut
arXiv 2000-11-23 EN A Complete Characterization of Complete Intersection-Type Theories Dezani-Ciancaglini, M. · Honsell, F. · Alessi, F.
arXiv 2000-11-08 EN Transformation-Based Bottom-Up Computation of the Well-Founded Model Brass, Stefan · Dix, Juergen · Freitag, Burkhard · Zukowski, Ulrich
arXiv 2000-08-22 EN The Bisimulation Problem for equational graphs of finite out-degree Senizergues, G.
arXiv 2000-08-01 EN Boolean Satisfiability with Transitivity Constraints Bryant, Randal E. · Velev, Miroslav N.
arXiv 2000-07-26 EN Entrenchment Relations: A Uniform Approach to Nonmonotonicity Georgatos, Konstantinos
arXiv 2000-07-26 EN Relevance as Deduction: A Logical View of Information Retrieval Amati, Gianni · Georgatos, Konstantinos
arXiv 2000-07-13 EN Polynomial-time Computation via Local Inference Relations Givan, Robert · McAllester, David
