default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAPPIA-GULP-PRODE 1996: Donostia-San Sebastian, Spain
- Paqui Lucio, Maurizio Martelli, Marisa Navarro:
1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996. 1996 - Pedro Barahona:
Constraint Logic Programming: Theory, Domain and Applications. APPIA-GULP-PRODE 1996: 3-12 - Fernando Orejas:
Algebraic Methods for the Study of Module Constructs in Logic Programming. APPIA-GULP-PRODE 1996: 13-16 - María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal:
Call-By Name Partial Evaluation of Functional Logic Programs. APPIA-GULP-PRODE 1996: 17-28 - Michael Codish, Vitaly Lagoon, Francisco Bueno:
Sharing Analysis for Logic Programs using Set Logic Programs. APPIA-GULP-PRODE 1996: 29-40 - Sandro Etalle, Maurizio Gabbrielli:
Layered Modes. APPIA-GULP-PRODE 1996: 41-52 - Roberto Giacobazzi, Francesco Ranzato:
Optimization of Disjunctive Abstract Interpretations. APPIA-GULP-PRODE 1996: 53-66 - Daniel Cabeza, Manuel V. Hermenegildo:
Implementing Distributed Concurrent Constraint Execution in the CIAO System. APPIA-GULP-PRODE 1996: 67-78 - Manuel Vilares Ferro, Miguel Angel Alonso Pardo:
An LALR Extension for DCGs in Dynamic Programming. APPIA-GULP-PRODE 1996: 79-88 - Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo:
An Implementation Kernel for Theorem Proving with Equality Clauses. APPIA-GULP-PRODE 1996: 89-104 - Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla:
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. APPIA-GULP-PRODE 1996: 105-110 - Steffen Hölldobler:
Equational Logic and Theories of Action. APPIA-GULP-PRODE 1996: 111-126 - M. C. F. Ferreira:
Recursively Defined Term Orders. APPIA-GULP-PRODE 1996: 127-138 - Pedro J. Martín, Antonio Gavilanes:
Semantic Tableaux for a Logic with Preorders and Dynamic Sorts. APPIA-GULP-PRODE 1996: 139-154 - Giorgio Delzanno, Maurizio Martelli:
Proofs as Computations in Linear Logic. APPIA-GULP-PRODE 1996: 155-166 - W. Marco Schorlemmer, Jaume Agustí-Cullell:
Inclusional Theories in Declarative Programming. APPIA-GULP-PRODE 1996: 167-178 - Alessandra Di Pierro, Wlodzimierz Drabent:
On Quantified Negatives Queries. APPIA-GULP-PRODE 1996: 179-190 - Rosa Arruabarrena, Marisa Navarro:
On Extended Logic Languages supporting Program Structuring. APPIA-GULP-PRODE 1996: 191-206 - Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck:
Comsumption-based Distributed Unification. APPIA-GULP-PRODE 1996: 207-218 - Víctor M. Gulías, Juan J. Quintela, José Luis Freire:
Towards High-Order Distribution in Functional Languages. APPIA-GULP-PRODE 1996: 219-232 - Ramiro Varela, Camino R. Vela, Jorge Puente:
Efficient Producer/Consumer Parallelism in Logic Programming. APPIA-GULP-PRODE 1996: 233-244 - Luis A. Galán, Cristóbal Pareja, Ricardo Pena:
Functional Skeletons Generate Process Topologies in Eden. APPIA-GULP-PRODE 1996: 245-258 - Michael Hanus, Salvador Lucas:
A Denotational Semantics for Needed Narrowing. APPIA-GULP-PRODE 1996: 259-270 - Thomas Eiter, Nicola Leone, Domenico Saccà:
Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases. APPIA-GULP-PRODE 1996: 271-282 - Francesco Buccafurri, Nicola Leone, Pasquale Rullo:
Computing Disjunctive Ordered Logic. APPIA-GULP-PRODE 1996: 283-294 - Stelvio Cimato, Cecilia Mascolo:
Analyzing and Animating Declarative Specifications. APPIA-GULP-PRODE 1996: 295-308 - Pierre Lescanne:
Calculi of Explicit Substitutions: New Results. APPIA-GULP-PRODE 1996: 309-328 - Sergio Greco:
Extending Datalog with Choice and Weak Constraints. APPIA-GULP-PRODE 1996: 329-340 - Sergio Greco, Eugenio Spadafora:
Implementation of Chain Logic Queries. APPIA-GULP-PRODE 1996: 341-354 - Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella:
The And-compositionality of CLP Computed Answer Constraints. APPIA-GULP-PRODE 1996: 355-366 - Enea Zaffanella:
Modular Analysis of Suspension Free cc Programs. APPIA-GULP-PRODE 1996: 367-378 - F. Le Berre, Alexandre Tessier:
Declarative Incorrectness Diagnosis in Constraint Logic Programming. APPIA-GULP-PRODE 1996: 379-390 - Salvatore Ruggieri:
On Termination of Constraint Logic Programs. APPIA-GULP-PRODE 1996: 391-406 - Rob R. Hoogerwoord:
Programming by Calculation. APPIA-GULP-PRODE 1996: 407-426 - Juan José Moreno-Navarro, Julio Mariño, Andrés del Pozo-Prieto, Ángel Herranz-Nieva, Julio García-Martín:
Adding Type Classes to Functional-Logic Languages. APPIA-GULP-PRODE 1996: 427-438 - Jesús Manuel Almendros-Jiménez:
Type Inference and Checking for POS-typed Funtional Logic Programs. APPIA-GULP-PRODE 1996: 439-450 - Puri Arenas-Sánchez, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Eva Ullán:
Real Constraints within a Functional Logic Language. APPIA-GULP-PRODE 1996: 451-464 - Paolo Volpe:
Abstract Interpretation for Uniform Proof Systems. APPIA-GULP-PRODE 1996: 465-480 - Giorgio Levi, Fausto Spoto:
Accurate Analysis of Prolog with cut. APPIA-GULP-PRODE 1996: 481-492 - Roberto Bagnara:
Straight ROBDDs are not the Best for Pos. APPIA-GULP-PRODE 1996: 493-498 - Vasco Pedro, Luís Monteiro:
Modules and Specifications. APPIA-GULP-PRODE 1996: 499-510 - J. Baptista, Luís Monteiro:
Handling Calls to Missing Predicates. APPIA-GULP-PRODE 1996: 511-522 - Evelina Lamma, Paola Mello, Michela Milano:
Enhancing Constraint Logic Programming through Meta Programming. APPIA-GULP-PRODE 1996: 523-534 - Antonio Brogi, Simone Contiero:
Specialising Meta-level Compositions of Logic Programs. APPIA-GULP-PRODE 1996: 535-548 - Renwei Li, Luís Moniz Pereira:
Reasoning about Concurrent Actions and Observations. APPIA-GULP-PRODE 1996: 549-560 - Manuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego:
Executing Intensional Logic with the TAS Tool. APPIA-GULP-PRODE 1996: 561-566 - Giuseppe Manco, Alessandra Raffaetà, Franco Turini:
Modeling Object Dynamics in Object-Oriented Logic Programming. APPIA-GULP-PRODE 1996: 567-580 - Blas C. Ruiz, José E. Gallardo, Pablo Guerrero, Francisco Gutiérrez:
Clasificacion de Objetos Funcionales en Entornos Concurrentes. APPIA-GULP-PRODE 1996: 581-584
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-04 01:26 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:
