Conferences in DBLP

UK Conference on Logic Programming (ALPUK) (alpuk)
1992 (conf/alpuk/92)

1. R. K. Shyamasundar, M. R. K. Krishna Rao, Deepak Kapur
   Rewriting Concepts in the Study of Termination of Logic Programs. [Citation Graph (0, 0)][DBLP]
   ALPUK, 1992, pp:3-20 [Conf]
   
2. Jean-Marie Jacquet
   Metric Characterizations of Contextual Logic Programs. [Citation Graph (0, 0)][DBLP]
   ALPUK, 1992, pp:21-40 [Conf]
   
3. Khaled Bsaïes
   Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programs. [Citation Graph (0, 0)][DBLP]
   ALPUK, 1992, pp:41-61 [Conf]
   
4. Lunjin Lu, Peter Greenfield
   An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog. [Citation Graph (0, 0)][DBLP]
   ALPUK, 1992, pp:62-76 [Conf]
   
5. Jian Chen, John Staples
   Soft Sorting in Logic Programming. [Citation Graph (0, 0)][DBLP]
   ALPUK, 1992, pp:79-96 [Conf]
   
6. Grigoris Antoniou, Volker Sperschneider
   Modularity for Logic Programs. [Citation Graph (0, 0)][DBLP]
   ALPUK, 1992, pp:97-107 [Conf]
   
7. Giancarlo Succi, Giuseppe A. Martino, Giancarlo Colla, Diego Cò, Sergio Novella, Amedeo Pata, Alexandro Regoli, Luca Viganò
   SEL Compiler & Abstract Analyzers. [Citation Graph (0, 0)][DBLP]
   ALPUK, 1992, pp:108-123 [Conf]
   
8. Timothy K. Shih, Ruth E. Davis, Fuyau Lin
   Disciplined Exceptions in Logic Programming. [Citation Graph (0, 0)][DBLP]
   ALPUK, 1992, pp:124-141 [Conf]
   
9. Frank S. de Boer, Catuscia Palamidessi
   On the Semantics of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
   ALPUK, 1992, pp:145-173 [Conf]
   
10. Ernesto Pimentel, José M. Troya
    L2||O2: Operational and Declarative Semantics. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1992, pp:174-188 [Conf]
    
11. W. F. Clocksin
    The DelPhi Multiprocessor Inference Machine. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1992, pp:189-198 [Conf]
    
12. Wilfried Hodges
    Orn Clause Logic 1992. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1992, pp:201-217 [Conf]
    
13. Dov M. Gabbay, Hans Jürgen Ohlbach
    From A Hilbert Calculus to its Model Theoretic Semantics. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1992, pp:218-252 [Conf]
    
14. David J. Pym, Lincoln A. Wallen
    Logic Programming via Proof-valued Computations. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1992, pp:253-262 [Conf]
    
15. Yuejun Jiang, Barry Richards
    An Amalgamated Temporal Logic. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1992, pp:263-295 [Conf]
    
16. Antony F. Bowers, Patricia M. Hill
    An Introduction to Gödel. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1992, pp:299-343 [Conf]
    
17. John Florentin, Martin Gittins
    Parallel Logic Programming in Strand: A Tutorial. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1992, pp:344-354 [Conf]