Conferences in DBLP
Roberto Giacobazzi Systematic design of abstract interpretations. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:1-4 [Conf ] Narciso Martí-Oliet Rewriting logic and its applications. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:5-8 [Conf ] Michael Hanus A Unified Computation Model for Declarative Programming. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:9-24 [Conf ] 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 ] Roberto Giacobazzi , Francesca Scozzari Intuitionistic Implication in Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:33-44 [Conf ] Federico Crazzolara Quasi-metric Spaces as Domains for Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:45-56 [Conf ] 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 ] Roberto Bagnara , Patricia M. Hill , Enea Zaffanella Sharing Revisited. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:69-80 [Conf ] Roberto Bagnara Structural Information Analysis for CLP Languages. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:81-92 [Conf ] Agostino Dovier , Alberto Policriti Set domains for structural properties of terms. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:93-104 [Conf ] 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 ] Vincenzo Gervasi , Alessandra Raffaetà Integrating Active Rules in U-Datalog. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:117-128 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Fausto Spoto , Giorgio Levi A Denotational Semantics for Prolog. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:201-212 [Conf ] 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 ] Alessandra Di Pierro , Herbert Wiklicky On Probabilistic CCP. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:225-234 [Conf ] 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 ] Pablo López , Ernesto Pimentel A Lazy Splitting System for Forum. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:247-258 [Conf ] 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 ] 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 ] Piero A. Bonatti A Constructive Negation for Transition System Specifications. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:283-294 [Conf ] 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 ] 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 ] Francesca Arcelli Fontana , Ferrante Formato A Fuzzy Logic Programming Language. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:319-332 [Conf ] 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 ] Zohar Manna Verification of Progress Properties. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:345-346 [Conf ] 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 ] 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 ] 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 ] Alessandro Provetti , G. Rossi Action Specifications in log. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:381-392 [Conf ] Salvador Lucas Computational Properties of Term Rewriting with Replacement Restrictions. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:393-404 [Conf ] 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 ] 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 ] 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 ] 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 ] Agostino Dovier , Andrea Formisano , Alberto Policriti On T Logic Programming. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:457-466 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] Antonio Ferrández , Manuel Palomar , Lidia Moreno Slot Unification Grammar. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:523-532 [Conf ] 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 ] 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 ] 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 ]