C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
ICLP Workshop: Integration of Declarative Paradigms
1994
1994
1994
Keyphrases
Publications
1994
Manuel Díaz
,
Bartolomé Rubio
,
José M. Troya
Implementation Issues of a Distributed Real-Time Logic Language.
ICLP Workshop: Integration of Declarative Paradigms
(1994)
Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference Workshop. Max-Planck-Institut für Informatik, Saarbrücken, Germany, Report MPI-94-224, June 1994
ICLP Workshop: Integration of Declarative Paradigms
(1994)
Zena M. Ariola
,
Barton C. Massey
,
M. Sami
,
Evan Tick
Compilation of Concurrent Declarative Languages.
ICLP Workshop: Integration of Declarative Paradigms
(1994)
Grzegorz Czajkowski
,
Andrzej Uszok
,
Krzysztof Zielinski
Distributed Declarative Systems as Parts of Cooperating Software Environments.
ICLP Workshop: Integration of Declarative Paradigms
(1994)
Christophe Rigotti
,
Mohand-Said Hacid
,
Jean-François Boulicaut
F-Logic Programming and Terminological Constraints.
ICLP Workshop: Integration of Declarative Paradigms
(1994)
Georgios Grivas
Efficient Integration of Declarative Paradigms into Symbolic Computation Systems.
ICLP Workshop: Integration of Declarative Paradigms
(1994)
Manuel M. T. Chakravarty
,
Hendrik C. R. Lock
The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms.
ICLP Workshop: Integration of Declarative Paradigms
(1994)
Andreas Abecker
,
Holger Wache
A Layer Architecture for the Integration of Rules, Inheritance, and Constraints.
ICLP Workshop: Integration of Declarative Paradigms
(1994)
Hans-Joachim Goltz
Logic Programming with Constructor-based Type Constraints.
ICLP Workshop: Integration of Declarative Paradigms
(1994)
Didier Bert
,
Rachid Echahed
Integrating Disequations in the Algebraic and Logic Programming Language LPG.
ICLP Workshop: Integration of Declarative Paradigms
(1994)
Kim Marriott
,
Peter J. Stuckey
Semantics of Constraint Logic Programs with Optimization.
ICLP Workshop: Integration of Declarative Paradigms
(1994)
Cover Page, Preface, and Table of Contents.
ICLP Workshop: Integration of Declarative Paradigms
(1994)
M. Tarver
A Typed Functional Language Based on Sequent Calculus.
ICLP Workshop: Integration of Declarative Paradigms
(1994)