default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGULP-PRODE 1994: Peñiscola, Spain
- María Alpuente, Roberto Barbuti, Isidro Ramos:
1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 1. 1994 - John W. Lloyd:
Practical Advtanages of Declarative Programming. GULP-PRODE (1) 1994: 18-30 - Michael Nitsche:
Analysis and Refinement of Constraint Answer Sets in a Planning System. GULP-PRODE (1) 1994: 31-45 - Paolo Mascellani, Dino Pedreschi:
Proving termination of Prolog programs. GULP-PRODE (1) 1994: 46-61 - María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal:
A Compositional Semantics for Conditional Term Rewriting Systems. GULP-PRODE (1) 1994: 62-76 - Roberto Giacobazzi:
Characterizing Abstract Program Properties by Abduction. GULP-PRODE (1) 1994: 77-91 - Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck:
An Abstract Interpretation Framework for (almost) Full Prolog. GULP-PRODE (1) 1994: 92-106 - Paolo Volpe:
Semantics of Concurrent Logic Programming as Uniform Proofs. GULP-PRODE (1) 1994: 107-124 - Salvador Lucas, Javier Oliver:
El lambda-calculo Etiquetado Paralelo (LCEP). GULP-PRODE (1) 1994: 125-139 - Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi:
Confluence and Concurrent Constraint Programming. GULP-PRODE (1) 1994: 140-154 - F. Buffoli:
Split Resolution Tailoring Tableaux to Refute Clause Sets. GULP-PRODE (1) 1994: 155-169 - Marco Comini, Giorgio Levi:
An Algebraic Theory of Observables. GULP-PRODE (1) 1994: 170-186 - Maurizio Martelli, Alessandro Messora, Catuscia Palamidessi, Alain Hui-Bon-Hoa:
Fixpoint Semantics of L lambda. GULP-PRODE (1) 1994: 187-201 - Maurizio Proietti, Alberto Pettorossi:
Total correctness of a goal replacement rule based on the unfold/fold proof method. GULP-PRODE (1) 1994: 203-217 - Sandro Etalle, Maurizio Gabbrielli:
Modular Transformations of CLP Programs. GULP-PRODE (1) 1994: 218-233 - K. Bohlmann, Rita Loogen, Yolanda Ortega-Mallén:
Towards a Functional Process Calculus. GULP-PRODE (1) 1994: 234-250 - Ramiro Varela:
El modelo RPS para la gestion del paralelismo AND independiente en programas logicos. GULP-PRODE (1) 1994: 251-265 - José E. Gallardo, Pablo Guerrero, Blas C. Ruiz:
Monadas y Procesos Funcionales Comunicantes. GULP-PRODE (1) 1994: 266-280 - Francisco Bueno:
Methods for Automatic Compile-time Parallelization of Logic Programs: the MEL, CDG and UDG Algorithms Revisited. GULP-PRODE (1) 1994: 281-295 - Nai-Wei Lin:
Optimizing Logic Programs with Finite Domain Constraints. GULP-PRODE (1) 1994: 297-311 - Roberto Bagnara:
On the Detection of Implicit and Redundant Numeric Constraint in CLP Programs. GULP-PRODE (1) 1994: 312-326 - Michael Codish, Bart Demoen:
Deriving Polymorphic Type Dependencies for Logic Programs using Multiple Incarnations of Prop. GULP-PRODE (1) 1994: 327-341 - María-del-Mar Gallardo, José M. Troya:
Granularity Analysis of Concurrent Logic Languages based on Abstract Interpretation. GULP-PRODE (1) 1994: 342-356 - Gilberto Filé, Francesco Ranzato:
Improving Abstract Interpretations by Systematic Lifting to the Powerset. GULP-PRODE (1) 1994: 357-371 - Agostino Cortesi, Gilberto Filé, William H. Winsborough:
The Quotient of an Abstract Interpretation for Comparing Static Analyses. GULP-PRODE (1) 1994: 372-387 - Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa:
Loop Checking for Reduced SLD-derivations. GULP-PRODE (1) 1994: 388-402 - Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi:
Solving Systems of Equations over Hypersets. GULP-PRODE (1) 1994: 403-417 - Dino Pedreschi, Salvatore Ruggieri:
Termination is Language-Independent. GULP-PRODE (1) 1994: 418-433 - Anastasia Analyti, Sakti Pramanik:
Semantics for Reasoning with Contradictory Extended Logic Programs. GULP-PRODE (1) 1994: 434-448 - Francesco Buccafurri, Nicola Leone, Pasquale Rullo:
A non-deterministic semantics for ordered logic programs. GULP-PRODE (1) 1994: 449-463 - Roberta Gori, Giorgio Levi:
Finite Failure is AND-Compositional. GULP-PRODE (1) 1994: 464-478
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-06-23 20:50 CEST 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:
