Conferences in DBLP
Jan Willem Klop Term Graph Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Steffen van Bakel , Maribel Fernández Approximation and Normalization Results for Typeable Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Barthe , Herman Geuvers Modular Properties of Algebraic Type Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Inge Bethke , Jan Willem Klop Collapsing Partial Combinatory Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Blom A Complete Proof System for Nested Term Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Claus Hintermeier , Hélène Kirchner , Peter D. Mosses Rn - and Gn -Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Kahrs The Variable Containment Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Karl Meinke Higher-Order Equational Logic for Specification, Simulation and Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Sava Mintchev , David Lester The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Möller Assertions and Recursions. [Citation Graph (0, 0)][DBLP ] Conf ] Vincent van Oostrom Development Closed Critical Pairs. [Citation Graph (0, 0)][DBLP ] Conf ] Jaco van de Pol Two Different Strong Normalization Proofs? [Citation Graph (0, 0)][DBLP ] Conf ] Jan Springintveld Third-Order Matching in the Polymorphic Lambda Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] L. J. Steggles Higher-Order Algebra with Transfinite Types. [Citation Graph (0, 0)][DBLP ] Conf ] Li-Guo Wang , Michael Mendler Abstraction of Hardware Construction. [Citation Graph (0, 0)][DBLP ] Conf ] 