11. ICLP 1994:
Santa Margherita Ligure, Italy Pascal Van Hentenryck (Ed.):
Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, June 13-18, 1994, Santa Margherita Ligure, Italy. MIT Press 1994, ISBN 0-262-72022-1
Invited Talks
export record as
dblp key:
Advanced Tutorials
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Semantics I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jürgen Stuber :
Computing Stable Models by Program Transformation.
58-73
export record as
dblp key:
Parallelism
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Implementation
export record as
dblp key:
Neng-Fa Zhou :
On the Scheme of Passing Arguments in Stack Frames for Prolog.
159-174
export record as
dblp key:
export record as
dblp key:
Actions
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Alessio Guglielmi :
Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator.
240-254
Semantics II
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Constraints I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Antoine Rauzy :
Notes on the Design of an Open Boolean Solver.
354-368
export record as
dblp key:
Higher-Order and Meta Programming
export record as
dblp key:
Yuejun Jiang :
Ambivalent Logic as the Semantic Basis of Metalogic Programming.
387-401
export record as
dblp key:
Uday S. Reddy :
Higher-order Aspects of Logic Programming.
402-418
export record as
dblp key:
Databases
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Abduction and Negation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/iclp/Moreno-Navarro94
Analysis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Dino Pedreschi :
A Proof Method for Runtime Properties of Prolog Programs.
584-598
export record as
dblp key:
Constraint II
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Transformation and Synthesis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Poster Abstracts
export record as
dblp key:
Carmen Gervet :
Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables.
733
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
