María Alpuente , Maria I. Sessa (Eds.):
1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995.
1995
export record as
dblp key:
Krzysztof R. Apt :
Arrays, Bounded Quantification and Iteration in Logic and Constraint Logic Programming.
19-36
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Dale Miller :
Observations about Using Logic as a Specification Language.
61-70
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:
J. Humet :
A Framework for a Transformational Approach to Negation.
195-206
export record as
dblp key:
Francesco Buccafurri :
Ordered Logic and its Relationships to other Logic Programming Formalisms.
207-218
export record as
dblp key:
export record as
dblp key:
Francesca Toni :
A Semantics for the Kakas-Mancarella Procedure for Abductive Logic Programming.
231-244
export record as
dblp key:
export record as
dblp key:
Walter Dosch :
The Undefined Function Differs from the Pointwise Undefined Function.
257-270
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:
Iliano Cervesato :
Petri Nets and Linear Logic: a Case Study for Logic Programming.
313-320
export record as
dblp key:
A. Moreno ,
J. M. Goni :
GRAMPAL: A Morphological Processor for Spanish Implemented in Prolog.
321-331
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Eva Ullán :
Lazy Narrowing on an Abstract Machine by Means of Examples.
359-370
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:
Salvador Lucas :
Computational Properties in Context-Sensitive Rewriting.
435-446
export record as
dblp key:
conf/agp/Arenas-SanchezD95
export record as
dblp key:
Cristian Papp :
A Model Tree Computation of the Strong Well-Founded Semantics.
459-470
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:
Roberto Bagnara :
Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages.
581-592
export record as
dblp key:
conf/agp/Moreno-NavarroGP95
export record as
dblp key:
export record as
dblp key:
Roberto Giacobazzi :
Optimal Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics.
619-630
export record as
dblp key:
export record as
dblp key: