default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGULP-PRODE 1995: Marina di Vietri, Salerno, Italy
- María Alpuente, Maria I. Sessa:
1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995. 1995 - Krzysztof R. Apt:
Arrays, Bounded Quantification and Iteration in Logic and Constraint Logic Programming. GULP-PRODE 1995: 19-36 - Patrick Cousot:
Completeness in Abstract Interpretation. GULP-PRODE 1995: 37-38 - Robert A. Kowalski:
Logical Foundations for Multi-agent Systems. GULP-PRODE 1995: 39-40 - Giorgio Levi, Marco Comini, Giuliana Vitiello:
On the Abstract Diagnosis of Logic Programs. GULP-PRODE 1995: 41-60 - Dale Miller:
Observations about Using Logic as a Specification Language. GULP-PRODE 1995: 61-70 - Luís Moniz Pereira:
Parallel Logic Programming with Extensions. GULP-PRODE 1995: 71-88 - Enea Zaffanella:
Domain Independent Ask Approximation in CCP. GULP-PRODE 1995: 89-100 - Frank S. de Boer, Maurizio Gabbrielli:
Modeling Real-Time in Concurrent Constraint Programming. GULP-PRODE 1995: 101-112 - José Luis Freire, Basilio B. Fraguela, Víctor M. Gulías:
Extending CAML Light to Perform Distributed Computation. GULP-PRODE 1995: 113-124 - Paolo Ciancarini, Daniela Fogli, Mauro Gaspari:
A Logic Language Based on GAMMA-Like Multiset Rewriting. GULP-PRODE 1995: 125-138 - Kave Eshghi, M. Mowbray:
Side Effect Analysis for Logic-Based Planning. GULP-PRODE 1995: 139-147 - Floriana Esposito, Nicola Fanizzi, Donato Malerba, Giovanni Semeraro:
Downward Refinement of Hierarchical Datalog Theories. GULP-PRODE 1995: 148-159 - Danilo Montesi, Franco Turini:
Integrity Constraints Evolution in Deductive Databases. GULP-PRODE 1995: 160-168 - Marilisa E. Carboni, V. Foddai, Fosca Giannotti, Dino Pedreschi:
Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach. GULP-PRODE 1995: 169-182 - Alberto Momigliano, Mario Ornaghi:
An Introduction to Regular Search Spaces. GULP-PRODE 1995: 183-194 - J. Humet:
A Framework for a Transformational Approach to Negation. GULP-PRODE 1995: 195-206 - Francesco Buccafurri:
Ordered Logic and its Relationships to other Logic Programming Formalisms. GULP-PRODE 1995: 207-218 - Alberto Bottoni:
Analysis of SLDNF for Local CLP. GULP-PRODE 1995: 219-230 - Francesca Toni:
A Semantics for the Kakas-Mancarella Procedure for Abductive Logic Programming. GULP-PRODE 1995: 231-244 - Francesca Arcelli Fontana, Ferrante Formato:
Implementing Higher-Order Term-Rewriting for Program Transformation in lambdaProlog. GULP-PRODE 1995: 245-256 - Walter Dosch:
The Undefined Function Differs from the Pointwise Undefined Function. GULP-PRODE 1995: 257-270 - Paolo Mancarella, Alessandra Raffaetà, Franco Turini:
LOO: An Object Oriented Logic Programming Language. GULP-PRODE 1995: 271-282 - Giorgio Delzanno, Maurizio Martelli:
Forum Objects. GULP-PRODE 1995: 283-294 - Piero A. Bonatti, Laura Giordano:
Three-Valued Semantics for Extended Logic Programs. GULP-PRODE 1995: 295-306 - Jørgen Fischer Nilsson, Andreas Hamfelt:
Constructing Logic Programs with Higher-Order Predicates. GULP-PRODE 1995: 307-312 - Iliano Cervesato:
Petri Nets and Linear Logic: a Case Study for Logic Programming. GULP-PRODE 1995: 313-320 - Antonio Moreno, José M. Goñi:
GRAMPAL: A Morphological Processor for Spanish Implemented in Prolog. GULP-PRODE 1995: 321-331 - Domenico Aquilino, D. Apuzzo, Patrizia Asirelli:
A Declarative Approach to the Design and Realization of Graphic Interfaces. GULP-PRODE 1995: 332-346 - Anna Ciampolini, Evelina Lamma, Paola Mello:
Improving the Efficiency of Dynamic Modular Logic Languages. GULP-PRODE 1995: 347-358 - Eva Ullán:
Lazy Narrowing on an Abstract Machine by Means of Examples. GULP-PRODE 1995: 359-370 - Werner Hans, Stephan Winkler, Fernando Sáenz-Pérez:
Exploiting Expression- and Or-Parallelism for a Functional Logic Language. GULP-PRODE 1995: 371-382 - Pedro Palao, Manuel Núñez:
An Effective Algorithm for Compiling Pattern Matching Keeping Laziness. GULP-PRODE 1995: 383-394 - Alberto Artosi, Paola Cattabriga, Guido Governatori:
A Prolog Implementation of Kem. GULP-PRODE 1995: 395-400 - Patrick Bellot, Olivier Camp, Christophe Matiachoff:
Explicit Implementation of a Constraint Solving Mechanism in a Relational Programming System. GULP-PRODE 1995: 401-408 - Paola Bruscoli, Alessio Guglielmi:
A Linear Logic Programming Language with Parallel and Sequential Conjunction. GULP-PRODE 1995: 409-420 - Giuseppe Manco, Franco Turini:
A Structural (Meta-Logical) Semantics for Linear Objects. GULP-PRODE 1995: 421-434 - Salvador Lucas:
Computational Properties in Context-Sensitive Rewriting. GULP-PRODE 1995: 435-446 - Puri Arenas-Sánchez, Agostino Dovier:
Minimal Set Unification. GULP-PRODE 1995: 447-458 - Cristian Papp:
A Model Tree Computation of the Strong Well-Founded Semantics. GULP-PRODE 1995: 459-470 - José E. Gallardo, Pablo Guerrero, Blas C. Ruiz:
Monadas para la Comunicacion de Objetos Funcionales. GULP-PRODE 1995: 471-476 - Carlos Gregorio-Rodríguez, M. Nunez Garcia, Pedro Palao-Gostanza:
La Potencia Expresiva de los Catamorfismos. GULP-PRODE 1995: 477-484 - Cristóbal Pareja, Ricardo Pena, J. Ángel Velázquez-Iturbide:
A Tabulation Transformation Tactic Using Haskell Arrays. GULP-PRODE 1995: 485-496 - Francisco José Galán Morillo, M. Toro Bonilla:
Sintesis de Programas Logicos: Marco Constructivo. GULP-PRODE 1995: 497-510 - Pierpaolo Degano, Corrado Priami:
A Transitional Semantics of Full Prolog. GULP-PRODE 1995: 511-520 - Giorgio Levi, Daniele Micciancio:
Analysis of Pure PROLOG Programs. GULP-PRODE 1995: 521-532 - Marco Comini, Giorgio Levi, Maria Chiara Meo:
Compositionality in SLD-derivations and their Abstractions. GULP-PRODE 1995: 533-544 - Francesco Scarcello, Nicola Leone, Luigi Palopoli:
Curbing Theories: Fixpoint Semantics and Complexity Issues. GULP-PRODE 1995: 545-556 - Livio Colussi, Elena Marchiori, Massimo Marchiori:
A Dataflow Semantics for Constraint Logic Programs. GULP-PRODE 1995: 557-568 - Ruiz-Andino Illera, J. J. Ruz Ortiz:
Labeling in CLP(FD) with Evolutionary Programming. GULP-PRODE 1995: 569-580 - Roberto Bagnara:
Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages. GULP-PRODE 1995: 581-592 - Juan José Moreno-Navarro, Julio García-Martín, Andrés del Pozo-Prieto:
Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. GULP-PRODE 1995: 593-606 - Marco Comini, Giorgio Levi, Giuliana Vitiello:
Declarative Diagnosis Revisited. GULP-PRODE 1995: 607-618 - Roberto Giacobazzi:
Optimal Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics. GULP-PRODE 1995: 619-630 - Giorgio Levi, Francesca Scozzari:
Contributions to a Theory of Existential Termination for Definite Logic Programs. GULP-PRODE 1995: 631-642 - Dino Pedreschi, Salvatore Ruggieri:
A Case Study in Logic Program Verification: the Vanilla Metainterpreter. GULP-PRODE 1995: 643-654
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-23 00:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
