The SCEAS System
Navigation Menu

Conferences in DBLP

APPIA-GULP-PRODE (agp)
1996 (conf/agp/1996)

  1. Pedro Barahona
    Constraint Logic Programming: Theory, Domain and Applications. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:3-12 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. Sandro Etalle, Maurizio Gabbrielli
    Layered Modes. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:41-52 [Conf]
  6. Roberto Giacobazzi, Francesco Ranzato
    Optimization of Disjunctive Abstract Interpretations. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:53-66 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. Steffen Hölldobler
    Equational Logic and Theories of Action. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:111-126 [Conf]
  12. M. C. F. Ferreira
    Recursively Defined Term Orders. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:127-138 [Conf]
  13. 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]
  14. Giorgio Delzanno, Maurizio Martelli
    Proofs as Computations in Linear Logic. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:155-166 [Conf]
  15. W. Marco Schorlemmer, Jaume Agustí-Cullell
    Inclusional Theories in Declarative Programming. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:167-178 [Conf]
  16. Alessandra Di Pierro, Wlodzimierz Drabent
    On Quantified Negatives Queries. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:179-190 [Conf]
  17. R. Arruabarrena, Marisa Navarro
    On Extended Logic Languages supporting Program Structuring. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:191-206 [Conf]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. Michael Hanus, Salvador Lucas
    A Denotational Semantics for Needed Narrowing. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:259-270 [Conf]
  23. 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]
  24. Francesco Buccafurri, Nicola Leone, Pasquale Rullo
    Computing Disjunctive Ordered Logic. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:283-294 [Conf]
  25. Stelvio Cimato, Cecilia Mascolo
    Analyzing and Animating Declarative Specifications. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:295-308 [Conf]
  26. Pierre Lescanne
    Calculi of Explicit Substitutions: New Results. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:309-328 [Conf]
  27. Sergio Greco
    Extending Datalog with Choice and Weak Constraints. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:329-340 [Conf]
  28. Sergio Greco, Eugenio Spadafora
    Implementation of Chain Logic Queries. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:341-354 [Conf]
  29. 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]
  30. Enea Zaffanella
    Modular Analysis of Suspension Free cc Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:367-378 [Conf]
  31. 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]
  32. Salvatore Ruggieri
    On Termination of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:391-406 [Conf]
  33. Rob R. Hoogerwoord
    Programming by Calculation. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:407-426 [Conf]
  34. 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]
  35. 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]
  36. 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]
  37. Paolo Volpe
    Abstract Interpretation for Uniform Proof Systems. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:465-480 [Conf]
  38. Giorgio Levi, Fausto Spoto
    Accurate Analysis of Prolog with cut. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:481-492 [Conf]
  39. Roberto Bagnara
    Straight ROBDDs are not the Best for Pos. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:493-498 [Conf]
  40. Vasco Pedro, Luís Monteiro
    Modules and Specifications. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:499-510 [Conf]
  41. J. Baptista, Luís Monteiro
    Handling Calls to Missing Predicates. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:511-522 [Conf]
  42. 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]
  43. Antonio Brogi, Simone Contiero
    Specialising Meta-level Compositions of Logic Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:535-548 [Conf]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002