Conferences in DBLP
Matthias Baaz , Alexander Leitsch , Richard Zach Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs. [Citation Graph (0, 0)][DBLP ] Conf ] José Barros , Joseph A. Goguen Semantics of Non-terminating Rewrite Systems Using Minimal Coverings. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Barthe , Herman Geuvers Congruence Types. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Beckert , Reiner Hähnle Deduction by Combining Semantic Tableaux and Integer Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Beckert , Joachim Posegga leanEA: A Lean Evolving Algebra Compiler. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Blackburn , Wilfried Meyer-Viol , Maarten de Rijke A Proof System for Finite Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Jason Brown , Lincoln A. Wallen Representing Unification in a Logical Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Ricardo Caferra , Nicolas Peltier Decision Procedures Using Model Building Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Clote A Note on the Relation Between Polynomial Time Functionals and Constable's Class K. [Citation Graph (0, 0)][DBLP ] Conf ] Anuj Dawar , Steven Lindell , Scott Weinstein First Order Logic, Fixed Point Logic and Linear Order. [Citation Graph (1, 0)][DBLP ] Conf ] Anatoli Degtyarev , Andrei Voronkov Simultaneous Regid E-Unification Is Undecidable. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Del Castillo , Igor Durdanovic , Uwe Glässer An Evolving Algebra Abstract Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Di Cosmo , Delia Kesner Rewriting with Extensional Polymorphic Lambda-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Droste , Dietrich Kuske Languages and Logical Definability in Concurrency Monoids. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Grumbach , Zoé Lacroix , Steven Lindell Generalized Implicit Definitions on Finite Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Yuri Gurevich , James K. Huggins The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions. [Citation Graph (0, 0)][DBLP ] Conf ] Ryu Hasegawa A Logical Aspect of Parametric Polymorphism. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Heuerding , Stefan Schwendimann On the Modal Logic K Plus Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Hudelmaier Improved Decision Procedures for the Modal Logics K, T, and S4. [Citation Graph (0, 0)][DBLP ] Conf ] Anna Ingólfsdóttir , Andrea Schalk A Fully Abstract Denotational Model for Observational Precongruence. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Johannsen On Sharply Bounded Length Induction. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Kummer , Matthias Ott Effective Strategies for Enumeration Games. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Leiß Bounded Fixed-Point Definability and Tabular Recognition of Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Till Mossakowski Equivalences among Various Logical Frameworks of Partial Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Paritosh K. Pandya Some Extensions to Propositional Mean-Value Caculus: Expressiveness and Decidability. [Citation Graph (0, 0)][DBLP ] Conf ] Albert Rubio Theorem Proving modulo Associativity. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Vigneron Positive Deduction modulo Regular Theories. [Citation Graph (0, 0)][DBLP ] Conf ] 