|
Conferences in DBLP
- Liviu-Virgil Ciortuz, Mirela Petrea
LOGOS: An Object-Oriented Scheme to Implement Logic Programming Languages. [Citation Graph (0, 0)][DBLP] LPE, 1994, pp:0-0 [Conf]
- Ulrich Geske, Mario Lenz
A Type Based Debugging Tool for Untyped Logic Languages. [Citation Graph (0, 0)][DBLP] LPE, 1994, pp:0-0 [Conf]
- José Paulo Leal
Visualization and Interaction in Logic Programming. [Citation Graph (0, 0)][DBLP] LPE, 1994, pp:0-0 [Conf]
- Bernardo Lula Jr., Eugène Chouraqui, Hélio de Menezes Silva
Automatic Generation of Graphical Interfaces in an Object-Logic Programming Environment. [Citation Graph (0, 0)][DBLP] LPE, 1994, pp:0-0 [Conf]
- Sophie Renault, Pierre Deransart
A Proof Manager for Verification of Logic Programs. [Citation Graph (0, 0)][DBLP] LPE, 1994, pp:0-0 [Conf]
- Paul Tarau, Bart Demoen
Language Embedding by Dual Compilation and State Mirroring. [Citation Graph (0, 0)][DBLP] LPE, 1994, pp:0-0 [Conf]
|