|
Conferences in DBLP
- Tarun Arora, Raghu Ramakrishnan, William G. Roth, Praveen Seshadri, Divesh Srivastava
Explaining Program Execution in Deductive Systems. [Citation Graph (0, 0)][DBLP] LPE, 1993, pp:1-7 [Conf]
- Günther Specht
Generating Explanation Trees even for Negations in Deductive DataBase Systems. [Citation Graph (0, 0)][DBLP] LPE, 1993, pp:8-13 [Conf]
- Markus P. J. Fromherz
Debugging Constraint Programs: The Abstraction Mismatch. [Citation Graph (0, 0)][DBLP] LPE, 1993, pp:14-20 [Conf]
- Leon Sterling, Sitt Chen Chok
A Tool to Support Stepwise Enhancement in Prolog. [Citation Graph (0, 0)][DBLP] LPE, 1993, pp:21-26 [Conf]
- Andrew Bowles, Wamberto Weber Vasconcelos
Characterizing Prolog Programming Techniques. [Citation Graph (0, 0)][DBLP] LPE, 1993, pp:27-32 [Conf]
- P. Lefèbvre, Eric Villemonte de la Clergerie
How to build quickly an efficient implementation of the domain Prop with DyALog. [Citation Graph (0, 0)][DBLP] LPE, 1993, pp:33-38 [Conf]
- Dmitri Boulanger, Maurice Bruynooghe, Danny De Schreye
Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP] LPE, 1993, pp:39-51 [Conf]
- Miguel-Angel Oros, Paul Y. Gloess
Inheritance in Datalog. [Citation Graph (0, 0)][DBLP] LPE, 1993, pp:52-58 [Conf]
- Anthony J. Kusalik, Gregory M. Oster
A Constraint-Based Declarative Display Description Language for Visualization. [Citation Graph (0, 0)][DBLP] LPE, 1993, pp:59-67 [Conf]
- Anthony J. Kusalik, Steven David Prestwich
Programmer-Oriented Visualization of Parallel Logic Program Execution. [Citation Graph (0, 0)][DBLP] LPE, 1993, pp:69-74 [Conf]
- Don Ferguson, Georges Saab, L. Ümit Yalçinalp
Quintus WorkPro Programming Enviroment: A Glue for Building Business Applications. [Citation Graph (0, 0)][DBLP] LPE, 1993, pp:75-80 [Conf]
- Peter B. Reintjes, Suresh Rajgopal
MULTI/PLEX: Prolog tools for Formal Languages. [Citation Graph (0, 0)][DBLP] LPE, 1993, pp:81-87 [Conf]
- Victor Alves, Abílio Ribeiro, José Neves
Distributed Problem Solving: A Universal Computer Architecture. [Citation Graph (0, 0)][DBLP] LPE, 1993, pp:88-93 [Conf]
- Fevzi Belli, Oliver Jack
A Product Assurance Environment for Prolog. [Citation Graph (0, 0)][DBLP] LPE, 1993, pp:94-99 [Conf]
- Alireza Azem, Fevzi Belli
Reliability Prediction and Reliability Assessment Environment or Prolog Programs. [Citation Graph (0, 0)][DBLP] LPE, 1993, pp:100-105 [Conf]
|