Conferences in DBLP
Cover Page, Preface, and Table of Contents. [Citation Graph (0, 0)][DBLP ] ICLP Workshop: Integration of Declarative Paradigms, 1994, pp:- [Conf ] Christophe Rigotti , Mohand-Said Hacid , Jean-François Boulicaut F-Logic Programming and Terminological Constraints. [Citation Graph (0, 0)][DBLP ] ICLP Workshop: Integration of Declarative Paradigms, 1994, pp:1-11 [Conf ] Andreas Abecker , Holger Wache A Layer Architecture for the Integration of Rules, Inheritance, and Constraints. [Citation Graph (0, 0)][DBLP ] ICLP Workshop: Integration of Declarative Paradigms, 1994, pp:12-22 [Conf ] Kim Marriott , Peter J. Stuckey Semantics of Constraint Logic Programs with Optimization. [Citation Graph (0, 0)][DBLP ] ICLP Workshop: Integration of Declarative Paradigms, 1994, pp:23-35 [Conf ] Hans-Joachim Goltz Logic Programming with Constructor-based Type Constraints. [Citation Graph (0, 0)][DBLP ] ICLP Workshop: Integration of Declarative Paradigms, 1994, pp:36-45 [Conf ] M. Tarver A Typed Functional Language Based on Sequent Calculus. [Citation Graph (0, 0)][DBLP ] ICLP Workshop: Integration of Declarative Paradigms, 1994, pp:46-60 [Conf ] Manuel M. T. Chakravarty , Hendrik C. R. Lock The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms. [Citation Graph (0, 0)][DBLP ] ICLP Workshop: Integration of Declarative Paradigms, 1994, pp:61-75 [Conf ] Didier Bert , Rachid Echahed Integrating Disequations in the Algebraic and Logic Programming Language LPG. [Citation Graph (0, 0)][DBLP ] ICLP Workshop: Integration of Declarative Paradigms, 1994, pp:76-93 [Conf ] Georgios Grivas Efficient Integration of Declarative Paradigms into Symbolic Computation Systems. [Citation Graph (0, 0)][DBLP ] ICLP Workshop: Integration of Declarative Paradigms, 1994, pp:94-105 [Conf ] Manuel Díaz , Bartolomé Rubio , José M. Troya Implementation Issues of a Distributed Real-Time Logic Language. [Citation Graph (0, 0)][DBLP ] ICLP Workshop: Integration of Declarative Paradigms, 1994, pp:106-119 [Conf ] Zena M. Ariola , Barton C. Massey , M. Sami , Evan Tick Compilation of Concurrent Declarative Languages. [Citation Graph (0, 0)][DBLP ] ICLP Workshop: Integration of Declarative Paradigms, 1994, pp:120-134 [Conf ] Grzegorz Czajkowski , Andrzej Uszok , Krzysztof Zielinski Distributed Declarative Systems as Parts of Cooperating Software Environments. [Citation Graph (0, 0)][DBLP ] ICLP Workshop: Integration of Declarative Paradigms, 1994, pp:135-0 [Conf ]