Conferences in DBLP

International Conference on Logic Programming (iclp)
1994 (conf/iclp/94-w8)

1. 
   Cover Page, Preface, and Table of Contents. [Citation Graph (0, 0)][DBLP]
   ICLP Workshop: Integration of Declarative Paradigms, 1994, pp:- [Conf]
   
2. 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]
   
3. 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]
   
4. 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]
   
5. 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]
   
6. 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]
   
7. 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]
   
8. 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]
   
9. 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]
   
10. 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]
    
11. 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]
    
12. 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]