default search action
GULP-PRODE 1994: Peñiscola, Spain
- María Alpuente, Roberto Barbuti, Isidro Ramos:
1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 2. 1994 - Lluís Vila, Gonzalo Escalada-Imaz:
Temporal Token Calculus: a Temporal Reasoning Approach for Knowledge-Based. GULP-PRODE (2) 1994 - S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone:
Extending Explanation-Based Generalization with Metalogic Programming. GULP-PRODE (2) 1994: 16-31 - Hendrik Decker, Juan Carlos Casamayor:
Sustained Models and Sustained Answers in First-Order Databases. GULP-PRODE (2) 1994: 32-46 - Giuseppe Plagenza:
Abductive Update of Deductive Databases. GULP-PRODE (2) 1994: 47-59 - José Francisco Aldana Montes, Enrique Alba, José M. Troya:
D2: A Model for Datalog Parallel Evaluation. GULP-PRODE (2) 1994: 60-74 - Matilde Celma, Carlos García, María Angeles Pastor:
Restricciones de integridad dinamicas en bases de datos deductivas: una aproximacion basada en logica temporal. GULP-PRODE (2) 1994: 75-87 - Cristina Ruggieri, Mirko Sancassani:
IDEA: Intelligent Data Retrieval in Prolog. GULP-PRODE (2) 1994: 88-101 - M. Fabris, Adriano Tirabosco, C. Chiopris:
Optimal Management of a Large Computer Network with CHIP. GULP-PRODE (2) 1994: 102-116 - Puri Arenas-Sánchez, Ana Gil-Luezas:
A Debugging Model for Lazy Functional Logic Languages. GULP-PRODE (2) 1994: 117-131 - Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini:
Everything buT Assignment. GULP-PRODE (2) 1994: 132-146 - Francisco J. Durán, Ernesto Pimentel, José M. Troya:
Comunicacion entre objetos mediante la unificacion de canales logicos. GULP-PRODE (2) 1994: 147-160 - Michele Bugliesi, Hasan M. Jamil:
A Logic for Encapsulation in Object-Oriented Languages. GULP-PRODE (2) 1994: 161-175 - B. Grima, José Ambrosio Toval Álvarez:
Una formalizacion algebraica de la notacion "objectcharts": validacion y verificacion de especificaciones orientadas a objetos de sistemas reactivos. GULP-PRODE (2) 1994: 176-190 - Jaume Devesa, Jose Cuevas, Isidro Ramos:
Implementation of A Term Rewriting System for Solving Process Queries in an Object-Oriented Environment. GULP-PRODE (2) 1994: 191-205 - Elisa Bertino, Barbara Catania, Giovanna Guerrini, Maurizio Martelli, Danilo Montesi:
A Bottom-Up Interpreter for a Database Language with Updates and Transactions. GULP-PRODE (2) 1994: 206-220 - Paola Bruscoli, Alessio Guglielmi:
Expressiveness of the Abstract Logic Programming Language Forum in Planning and Concurrency. GULP-PRODE (2) 1994: 221-237 - Fernando Sáenz-Pérez, Werner Hans, José J. Ruz, Stephan Winkler:
A Babel Parallel System: VHDL Modelling for Performance Measurement. GULP-PRODE (2) 1994: 238-252 - Francesca Arcelli Fontana, Ferrante Formato, Giulio Iannello:
On the parallel implementation of the higher order logic language lambda Prolog. GULP-PRODE (2) 1994: 253-267 - Verónica Dahl, Paul Tarau, Yan-Nong Huang:
Datalog Grammars. GULP-PRODE (2) 1994: 268-282 - Lidia Moreno, Manuel Palomar:
Tratamiento de la ambiguedad de origen preposicional a traves de la logica. GULP-PRODE (2) 1994: 283-295 - Luigi Liquori, Maria Luisa Sapino:
Dealing with Explicit Exceptions in Prolog. GULP-PRODE (2) 1994: 296-308 - Manuel Enciso, Inman P. de Guzmán, Carlos Rossi:
A Temporal Logic for Program Specification. GULP-PRODE (2) 1994: 309-323 - Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Modal Extension of Logic Programming. GULP-PRODE (2) 1994: 324-335 - Iliano Cervesato, Luca Chittaro, Angelo Montanari:
What the Event Calculus actually does, and how to do it efficiently. GULP-PRODE (2) 1994: 336-350 - José Luis Freire, Víctor M. Gulías, J. M. Molinelli:
Utilizacion de la programacion funcional para la construccion de servidores en entornos heterogeneos. GULP-PRODE (2) 1994: 351-365 - Mirko Sancassani, G. Dore, Ugo Manfredi:
The IDEA User Interface: the Power of Logic Programming in GUI Implementations. GULP-PRODE (2) 1994: 366-378 - Filomena Ferrucci, Vincenzo Loia, Giuliano Pacini, Maria I. Sessa:
A Sleeper-based Prolog Interpreter with Loop Checks. GULP-PRODE (2) 1994: 379-392 - Luis A. Galán, Manuel Núñez, Cristóbal Pareja, Ricardo Pena:
Non Homomorphic Reductions of Data Structures. GULP-PRODE (2) 1994: 393-407 - Antonio Brogi, Chiara Renso, Franco Turini:
Amalgamating Language and Meta-language for Composing Logic Programs. GULP-PRODE (2) 1994: 408-422 - S. Clerici, R. Peña:
Generic Classes Parameterized by Data Structures. GULP-PRODE (2) 1994: 423-437 - Gabriel Aguilera, José Luis Galán, Inman P. de Guzmán, Manuel Ojeda-Aciego:
TAS-D++ vs tablas semanticas. GULP-PRODE (2) 1994: 438-439 - Domenico Aquilino, Patrizia Asirelli, Paola Inverardi:
Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces. GULP-PRODE (2) 1994: 440-441 - Ugo Manfredi, Mirko Sancassani:
LogicSQL: Augmenting SQL with Logic. GULP-PRODE (2) 1994: 442-443 - Nikos Mylonakis, J. Perez Campo:
A Type Checking Tool for a Formal Specification Language. GULP-PRODE (2) 1994: 444-445 - Oscar Pastor, Isidro Ramos, Jose Cuevas, Jaume Devesa:
OASIS 2.0: An Object Definition Language for Object Oriented Databases. GULP-PRODE (2) 1994: 446-447 - G. Ramos:
LANM, SRA y Contradiccion. GULP-PRODE (2) 1994: 448-449 - José A. Troyano, Jesús Torres, Miguel Toro:
Especificacion orientada a objetos desde un enfoque algebraico. GULP-PRODE (2) 1994: 450-451 - Jordi Tubella, Antonio González:
Combining depth-first and breadth-first search in Prolog execution. GULP-PRODE (2) 1994: 452-453
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-12-13 19:00 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: