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