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