search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

ALPUK

Keyphrases

Publications

1993

ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992 ALPUK (1993)

1992

Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991 ALPUK (1992)
Khaled Bsaïes
Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programs. ALPUK (1992)
Wilfried Hodges
Orn Clause Logic 1992. ALPUK (1992)
John Florentin, Martin Gittins
Parallel Logic Programming in Strand: A Tutorial. ALPUK (1992)
Yuejun Jiang, Barry Richards
An Amalgamated Temporal Logic. ALPUK (1992)
Jean-Marie Jacquet
Metric Characterizations of Contextual Logic Programs. ALPUK (1992)
R. K. Shyamasundar, M. R. K. Krishna Rao, Deepak Kapur
Rewriting Concepts in the Study of Termination of Logic Programs. ALPUK (1992)
Dov M. Gabbay, Hans Jürgen Ohlbach
From A Hilbert Calculus to its Model Theoretic Semantics. ALPUK (1992)
Lunjin Lu, Peter Greenfield
An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog. ALPUK (1992)
Jian Chen, John Staples
Soft Sorting in Logic Programming. ALPUK (1992)
Timothy K. Shih, Ruth E. Davis, Fuyau Lin
Disciplined Exceptions in Logic Programming. ALPUK (1992)
Frank S. de Boer, Catuscia Palamidessi
On the Semantics of Concurrent Constraint Programming. ALPUK (1992)
Ernesto Pimentel, José M. Troya
L2||O2: Operational and Declarative Semantics. ALPUK (1992)
David J. Pym, Lincoln A. Wallen
Logic Programming via Proof-valued Computations. ALPUK (1992)
Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990 ALPUK (1992)
Antony Francis Bowers, Patricia M. Hill
An Introduction to Gödel. ALPUK (1992)
Giancarlo Succi, Giuseppe A. Martino, Giancarlo Colla, Diego Cò, Sergio Novella, Amedeo Pata, Alexandro Regoli, Luca Viganò
SEL Compiler & Abstract Analyzers. ALPUK (1992)
Grigoris Antoniou, Volker Sperschneider
Modularity for Logic Programs. ALPUK (1992)
W. F. Clocksin
The DelPhi Multiprocessor Inference Machine. ALPUK (1992)

1991

1990