default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th ALPUK 1992: London
- Krysia Broda:
ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992. Workshops in Computing, Springer 1993, ISBN 3-540-19783-4
Program Analysis
- R. K. Shyamasundar, M. R. K. Krishna Rao, Deepak Kapur:
Rewriting Concepts in the Study of Termination of Logic Programs. 3-20 - Jean-Marie Jacquet:
Metric Characterizations of Contextual Logic Programs. 21-40 - Khaled Bsaïes:
Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programs. 41-61 - Lunjin Lu, Peter Greenfield:
An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog. 62-76
Language and Implementation Issues
- Jian Chen, John Staples:
Soft Sorting in Logic Programming. 79-96 - Grigoris Antoniou, Volker Sperschneider:
Modularity for Logic Programs. 97-107 - Giancarlo Succi
, Giuseppe A. Martino, Giancarlo Colla, Diego Cò, Sergio Novella, Amedeo Pata, Alexandro Regoli, Luca Viganò:
SEL Compiler & Abstract Analyzers. 108-123 - Timothy K. Shih, Ruth E. Davis, Fuyau Lin:
Disciplined Exceptions in Logic Programming. 124-141
Parallelism
- Frank S. de Boer, Catuscia Palamidessi:
On the Semantics of Concurrent Constraint Programming. 145-173 - Ernesto Pimentel, José M. Troya:
L2||O2: Operational and Declarative Semantics. 174-188 - W. F. Clocksin:
The DelPhi Multiprocessor Inference Machine. 189-198
Applications in Logic
- Wilfried Hodges:
Orn Clause Logic 1992. 201-217 - Dov M. Gabbay, Hans Jürgen Ohlbach:
From A Hilbert Calculus to its Model Theoretic Semantics. 218-252 - David J. Pym, Lincoln A. Wallen:
Logic Programming via Proof-valued Computations. 253-262 - Yuejun Jiang, Barry Richards:
An Amalgamated Temporal Logic. 263-295
Tutorials
- Antony Francis Bowers, Patricia M. Hill:
An Introduction to Gödel. 299-343 - John Florentin, Martin Gittins:
Parallel Logic Programming in Strand: A Tutorial. 344-354
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-19 20:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
