Conferences in DBLP

Russian Conference on Logic Programming / (lpar)
1994 (conf/lpar/1994)

1. Amy P. Felty, Douglas J. Howe
   Generalization and Reuse of Tactic Proofs. [Citation Graph (0, 0)][DBLP]
   LPAR, 1994, pp:1-15 [Conf]
   
2. Fausto Giunchiglia, Paolo Traverso
   Program Tactics and Logic Tactics. [Citation Graph (0, 0)][DBLP]
   LPAR, 1994, pp:16-30 [Conf]
   
3. Philippe de Groote
   On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory of Sequential Control. [Citation Graph (0, 0)][DBLP]
   LPAR, 1994, pp:31-43 [Conf]
   
4. Sergei Tupailo
   On a Proof-Theoretical Analysis of Sigma-1, 1-AC, Sigma-1, 1-DC and Delta-1, 1-CA. [Citation Graph (0, 0)][DBLP]
   LPAR, 1994, pp:44-53 [Conf]
   
5. Raul Monroy, Alan Bundy, Andrew Ireland
   Proof Plans for the Correction of False Conjectures. [Citation Graph (0, 0)][DBLP]
   LPAR, 1994, pp:54-68 [Conf]
   
6. Uwe Egly
   On the Value of Antiprenexing. [Citation Graph (0, 0)][DBLP]
   LPAR, 1994, pp:69-83 [Conf]
   
7. Henk Vandecasteele, Danny De Schreye
   Implementing a Finite-domain CLP-language on Top of Prolog: a Transformational Approach. [Citation Graph (0, 0)][DBLP]
   LPAR, 1994, pp:84-98 [Conf]
   
8. Hoon Hong
   RISC-CLP(CF) Constraint Logic Programming over Complex Functions. [Citation Graph (0, 0)][DBLP]
   LPAR, 1994, pp:99-113 [Conf]
   
9. Dominic Duggan
   Logical Closures. [Citation Graph (0, 0)][DBLP]
   LPAR, 1994, pp:114-128 [Conf]
   
10. Jean Goubault
    Higher-Order Rigid E-Unification. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:129-143 [Conf]
    
11. Penny Anderson
    Program Extraction in a Logical Framework Setting. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:144-158 [Conf]
    
12. Joëlle Despeyroux, André Hirschowitz
    Higher-Order Abstract Syntax with Induction in Coq. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:159-173 [Conf]
    
13. Stefan Brüning
    Towards Efficient Calculi for Resource-Oriented Deductive Planning. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:174-188 [Conf]
    
14. Paulo Quaresma, José Gabriel Lopes
    A Logic Programming Framework for the Abductive Inference of Intentions in Cooperative Dialogues. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:189-199 [Conf]
    
15. John Darlington, Yike Guo
    Constraint Logic Programming in the Sequent Calculus. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:200-214 [Conf]
    
16. Jürgen Avenhaus, Carlos Loría-Sáenz
    On Conditional Rewrite Systems with Extra Variables and Deterministic Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:215-229 [Conf]
    
17. Cristian Papp
    A Bottom-Up Reconstruction of the Well-founded Semantics for Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:230-244 [Conf]
    
18. Dietmar Seipel
    An Efficient Computation of Extended Generalized Closed World Assumption by Support-for-Negation Sets. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:245-259 [Conf]
    
19. Donald A. Smith, Timothy J. Hickey
    Multi-SLD Resolution. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:260-274 [Conf]
    
20. Bernard Becker, Reiner Hähnle, Anavai Ramesh, Neil V. Murray
    On Anti-Links. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:275-289 [Conf]
    
21. Lunjin Lu
    A Generic Declarative Diagnoser for Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:290-304 [Conf]
    
22. Michael Codish, Maria J. García de la Banda, Maurice Bruynooghe, Manuel V. Hermenegildo
    Goal Dependent versus Goal Independent Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:305-319 [Conf]
    
23. Philippe Mathieu, Jean-Paul Delahaye
    A Kind of Achievement by Parts Method. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:320-332 [Conf]
    
24. Zhenhua Duan, Maciej Koutny, Chris Holt
    Projection in Temporal Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:333-344 [Conf]