The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Roberto Giacobazzi
    Systematic design of abstract interpretations. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:1-4 [Conf]
  2. Narciso Martí-Oliet
    Rewriting logic and its applications. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:5-8 [Conf]
  3. Michael Hanus
    A Unified Computation Model for Declarative Programming. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:9-24 [Conf]
  4. Gopal Gupta, Enrico Pontelli
    High Performance Parallel Logic Programming: The ACE Parallel Prolog System. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:25-32 [Conf]
  5. Roberto Giacobazzi, Francesca Scozzari
    Intuitionistic Implication in Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:33-44 [Conf]
  6. Federico Crazzolara
    Quasi-metric Spaces as Domains for Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:45-56 [Conf]
  7. R. Moreno
    A Semantic Framework for the Analysis of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:57-68 [Conf]
  8. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
    Sharing Revisited. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:69-80 [Conf]
  9. Roberto Bagnara
    Structural Information Analysis for CLP Languages. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:81-92 [Conf]
  10. Agostino Dovier, Alberto Policriti
    Set domains for structural properties of terms. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:93-104 [Conf]
  11. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
    A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:105-116 [Conf]
  12. Vincenzo Gervasi, Alessandra Raffaetà
    Integrating Active Rules in U-Datalog. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:117-128 [Conf]
  13. Fosca Giannotti, Giuseppe Manco, Dino Pedreschi
    A Deductive Data Model for Representing and Querying Semistructured Data. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:129-140 [Conf]
  14. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
    The Architecture of a Disjunctive Deductive Database System. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:141-152 [Conf]
  15. Lidia Moreno, Manuel Palomar, Antonio Molina
    Gramáticas Datalog Extendidas: Una Nueva Aproximación. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:153-162 [Conf]
  16. José Francisco Aldana Montes, José M. Troya
    Concurrent Smart Evaluation of Datalog Queries. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:163-174 [Conf]
  17. G. Amato, G. Levi
    Properties of the Lattice of Observables in Logic Programming. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:175-188 [Conf]
  18. Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
    Automated Behavioural Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:189-200 [Conf]
  19. Fausto Spoto, Giorgio Levi
    A Denotational Semantics for Prolog. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:201-212 [Conf]
  20. Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí
    High-level Parallel and Concurrent Programming in Eden. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:213-224 [Conf]
  21. Alessandra Di Pierro, Herbert Wiklicky
    On Probabilistic CCP. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:225-234 [Conf]
  22. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    Semantics and Expressive Power of a Timed Concurrent Constraint Language. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:235-246 [Conf]
  23. Pablo López, Ernesto Pimentel
    A Lazy Splitting System for Forum. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:247-258 [Conf]
  24. Juan M. Molina-Bravo, Ernesto Pimentel
    Semantics for Modules in Functional-Logic Programming. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:259-270 [Conf]
  25. Paqui Lucio, Fernando Orejas, Elvira Pino
    A Monotonic Declarative Semantics for Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:271-282 [Conf]
  26. Piero A. Bonatti
    A Constructive Negation for Transition System Specifications. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:283-294 [Conf]
  27. Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi
    An Algorithm for Learning Abductive Rules. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:295-306 [Conf]
  28. Manuel Vilares Ferro, David Cabrero Souto, Miguel Angel Alonso Pardo
    An Approach to Infinite Terms Traversal in DCGs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:307-318 [Conf]
  29. Francesca Arcelli Fontana, Ferrante Formato
    A Fuzzy Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:319-332 [Conf]
  30. Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini
    Datalog and Description Logics: Expressive Power. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:333-344 [Conf]
  31. Zohar Manna
    Verification of Progress Properties. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:345-346 [Conf]
  32. María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal
    Safe Folding/Unfolding with Conditional Narrowing. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:347-358 [Conf]
  33. Víctor J. Díaz Madrigal, M. Toro Bonilla
    Parsing TAGs with Prolog. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:359-368 [Conf]
  34. Isabel Pita, Narciso Martí-Oliet
    Using Reflection to Specify Transaction Sequences in Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:369-380 [Conf]
  35. Alessandro Provetti, G. Rossi
    Action Specifications in log. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:381-392 [Conf]
  36. Salvador Lucas
    Computational Properties of Term Rewriting with Replacement Restrictions. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:393-404 [Conf]
  37. Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo
    Global Skolemization with Grouped Quantifiers. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:405-414 [Conf]
  38. Kent E. Seamons, William H. Winsborough, Marianne Winslett
    Internet Credential Acceptance Policies. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:415-432 [Conf]
  39. Kung-Kiu Lau, Mario Ornaghi
    On the Relationship between Logic Programs and Specifications. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:433-444 [Conf]
  40. Alain Miniussi, Robert Strandh
    An Efficient Algorithm for Recognizing the Forward-Branching Class of Term-Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:445-456 [Conf]
  41. Agostino Dovier, Andrea Formisano, Alberto Policriti
    On T Logic Programming. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:457-466 [Conf]
  42. R. Carmona, Agostino Dovier, Gianfranco Rossi
    Dealing with Infinite Intensional Sets in CLP. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:465-478 [Conf]
  43. Gilles Richard, Frédéric Saubion, A. Tellez-Arenas
    Intensional Set Constraints. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:479-490 [Conf]
  44. Maurizio Martelli, Viviana Mascardi, Floriano Zini
    Applying Logic Programming to the Specification of Complex Applications. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:491-500 [Conf]
  45. Víctor M. Gulías, Juan J. Quintela, José Luis Freire
    Transport Primitives for Functional Agents. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:501-510 [Conf]
  46. J. Nicolas, J. Alcalde, A. Toval, A. Arenas
    Formal Specification of a Scanning Tunnelling Microscope. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:511-522 [Conf]
  47. Antonio Ferrández, Manuel Palomar, Lidia Moreno
    Slot Unification Grammar. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:523-532 [Conf]
  48. Antonio J. Fernández, Patricia M. Hill
    Boolean and Finite Domain Solvers Compared Using Self Referential Quizzes. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:533-544 [Conf]
  49. Michael Codish, Cohavit Taboch
    A Semantic Basis for Termination Analysis of Logic Programs and its Realization Using Symbolic Norm Constraints. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:545-556 [Conf]
  50. Francesco Buccafurri, Nicola Leone, Pasquale Rullo
    Adding Weak Constraints to Disjunctive Datalog. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:557-568 [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