Conferences in DBLP
Jan A. Bergstra ACP with Signals. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Fribourg Functional Extensions to Prolog: Are they Needed? [Citation Graph (0, 0)][DBLP ] Conf ] Elio Giovannetti Narrowing and Resolution in Logic-Functional programming Languages (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Heinrich Hußmann Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Jouannaud , Claude Kirchner , Hélène Kirchner , Aristide Mégrelis OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization. [Citation Graph (0, 0)][DBLP ] Conf ] Gert Smolka Logic Programming with Polymorphically Order-Sorted Types. [Citation Graph (2, 0)][DBLP ] Conf ] Christoph Beierle , Udo Pletat Integrating Logic Programming and Equational Specification of Abstract Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Bockmayr Narrowing with Built-In Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Wadoud Bousdira A Completion Procedure for Hierarchical Conditional Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hubert Comon An Effective Method for Handling Initial Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd I. Dahn Boolean Valued Models and Incomplete Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] George Dayantis Types, Modularisation and Abstraction in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Drosten Translating Algebraic Specifications to Prolog Programs: A Comparative Study. [Citation Graph (0, 0)][DBLP ] Conf ] Annie Foret Rewrite Rule Systems for Modal Propositional Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Zoltán Fülöp , Sándor Vágvölgyi A Characterization of Irreducible Sets Modulo Left-Linear Term Rewriting Systems by Tree Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Joachim Goltz Functional Data Term Models and Semantic Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Horst Hansen , Michael Löwe Modular Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Dieter Hofbauer , Ralf-Detlef Kutsche Proving Inductive Theorems Based on Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Berthold Hoffmann , Detlef Plump Jungle Evaluation for Efficient Term Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory Kucherov A New Quasi-Reducibility Testing Algorithm and its Application to Proofs by Induction. [Citation Graph (0, 0)][DBLP ] Conf ] Dongbo Liu , Deyi Li Fuzzy Reasoning Based on F-Horn Clause Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Juan José Moreno-Navarro , Mario Rodríguez-Artalejo BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing. [Citation Graph (0, 0)][DBLP ] Conf ] Ph. Schnoebelen Refined Compilation of Pattern-Matching for Functional Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Wolter Narrowing in Partial Conditional Equational Theories (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Jia-Huai You Solving Equations in an Equational Language. [Citation Graph (0, 0)][DBLP ] Conf ] Ana Pasztor Nonstandard Logics of Recursive Programs and Denotational Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] 