Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi |
A New Declarative Semantics for Logic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 993-1005, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | D. A. Chu, F. G. McCabe |
SWIFT: A New Symbolic Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1415-1427, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Kim Marriott, Lee Naish, Jean-Louis Lassez |
Most Specific Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 909-923, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Harvey Abramson |
Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 233-248, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Khayri A. M. Ali |
OR-Parallel Execution of Prolog on BC-Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1531-1545, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Kenneth Kunen |
Some Remarks on the Completed Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 978-992, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Jean H. Gallier, Tomás Isakowitz |
Rewriting in Order-sorted Equational Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 280-294, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Leon Sterling, Arun Lakhotia |
Composing Prolog Meta-Interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 386-403, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | A. Bruffaerts, E. Henin |
Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 343-358, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | John S. Conery |
Logical Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 420-434, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Sei-Ichi Kondoh, Takashi Chikayama |
Macro Processing in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 466-480, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Kam-Wing Ng, Ho-fung Leung |
The Competition Model for Parallel Execution of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1180-1187, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Giorgio Levi |
Models, Unfolding Rules and Fixpoint Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1649-1665, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Mike Brayshaw, Marc Eisenstadt |
Adding Data and Procedure Abstraction to the Transparent Prolog Machine TPM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 532-547, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Carl McCrosky, Anthony J. Kusalik |
Improving First-Class Array Expressions Using Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 18-25, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Jonas Barklund, Nils Hagner, Malik Wafin |
Condition Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 435-446, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Lee Naish |
Parallelizing NU-Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1546-1564, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Laurent Fribourg |
Equivalence-Preserving Transformations of Inductive Properties of Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 893-908, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Subash Shankar |
A Hierarchical Associative Memory Architecture for Logic Programming Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1428-1447, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck |
Solving a Cutting-Stock Problem in Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 42-58, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Kim Marriott, Harald Søndergaard |
Bottom-up Abstract Interpretation of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 733-748, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Saumya K. Debray |
Static Analysis of Parallel Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 711-732, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Steffen Hölldobler |
From Paramodulation to Narrowing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 327-342, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | David Chan |
Constructive Negation Based on the Completed Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 111-125, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | William H. Winsborough, Annika Wærn |
Transparent And-Parallelism in the Presence of Shared Free Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 749-764, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Kave Eshghi |
Abductive Planning with Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 562-579, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Maarten H. van Emden |
Conditional Answers for Polymorphic Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 590-603, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | David B. Kemp, Rodney W. Topor |
Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 178-194, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Joseph L. Zachary |
A Pragmatic Approach to Equational Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 295-310, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Charles Elkan, David A. McAllester |
Automated Inductive Reasoning about Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 876-892, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Hamish Taylor |
Localizing the GHC Suspension Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1257-1271, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Bharat Jayaraman, Anil Nair |
Subset-Logic Programming: Application and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 843-858, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Handong Wu |
An Extended Dataflow Model of FGHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1272-1276, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Chor Sang Kwok, Marek J. Sergot |
Implicit Definition of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 374-385, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Rajiv Trehan, Paul F. Wilk |
A Parallel Chart Parser for the Committed Choice Non-Deterministic Logic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 212-232, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Hirohisa Seki, Hidenori Itoh |
A Query Evaluation Method for Stratified Programs Under the Extended CWA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 195-211, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Tien Huynh, Catherine Lassez |
A CLP(R) Options Trading Analysis System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 59-69, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Kevin Steer |
Testing Data Flow Diagrams with PARLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 96-110, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | John Hannan, Dale Miller 0001 |
Uses of Higher-Order Unification for Implementing Program Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 942-959, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Annika Wærn |
An Implementation Technique for the Abstract Interpretation of Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 700-710, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | David Hemmendinger |
A Compiler and Semantic Analyzer Based on Categorial Grammar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1474-1489, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Charles D. Stormon, Mark R. Brule, John V. Oldfield, D. F. Ribeiro |
An Architecture Based on Content-Addressable Memory for the Rapid Execution of Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1448-1473, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Hiroshi Fujita, Akira Okumura, Koichi Furukawa |
Partial Evaluation of GHC Programs Based on the UR-set with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 924-941, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Peter B. Reintjes |
A VLSI Design Environment in PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 70-81, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Michael Gelfond, Vladimir Lifschitz |
The Stable Model Semantics for Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1070-1080, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Halina Przymusinska, Teodor C. Przymusinski |
Weakly Perfect Model Semantics for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1106-1120, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Yossi Lichtenstein, Ehud Shapiro |
Abstract Algorithmic Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 512-531, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Aïda Batarekh, V. S. Subrahmanian |
Semantical Equivalences of (Non-Classical) Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 960-977, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Ralph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens |
Scheduling OR-Parallelism: An Argonne Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1590-1605, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Melvin Fitting, Marion Ben-Jacob |
Stratified and Three-valued Logic Programming Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1054-1069, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Martin Nilsson 0001, Hidehiko Tanaka |
A Flat GHC Implementation for Supercomputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1337-1350, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Bruce T. Smith, Donald W. Loveland |
A Simple Near-Horn Prolog Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 794-809, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Hamid Bacha |
Meta Prolog Design and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1371-1387, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Yves Moinard |
Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1097-1105, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Gerda Janssens, Bart Demoen, André Mariën |
Improving the Register Allocation of WAM by Recording Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1388-1402, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Mats Carlsson, Kenneth J. Danhof, Ross A. Overbeek |
A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1565-1577, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Douglas Stott Parker Jr., Richard R. Muntz |
A Theory of Directed Logic Programs and Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 620-650, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Prabhakaran Raman, Eugene W. Stark |
Fully Distributed, AND/OR-Parallel Execution of Logic Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1188-1203, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Atsuhiro Goto, Yasunori Kimura, T. Nakagawa, Takashi Chikayama |
Lazy Reference Counting: An Incremental Garbage Collection Method for Parallel Inference Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1241-1256, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Norman Y. Foo, Anand S. Rao, Andrew Taylor, Adrian Walker |
Deduced Relevant Types and Constructive Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 126-139, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Paolo Mancarella, Dino Pedreschi |
An Algebra of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1006-1023, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Paul J. Voda |
Types of Trilogy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 580-589, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso |
Exploiting the Full Power of Logic Plus Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 3-17, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | S. Kaplan |
Algorithmic Complexity of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 780-793, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Ken-ichi Kurosawa, S. Yamaguchi, Shigeo Abe, Tadaaki Bandoh |
Instruction Architecture for a High Performance Integrated Prolog Processor IPP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1506-1530, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Richard A. Warren, Manuel V. Hermenegildo, Saumya K. Debray |
On the Practicality of Global Flow Analysis of Logic Programs. (long version: JLP 13: 349-366 (1992)) ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 684-699, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Luís Moniz Pereira, Miguel Calejo |
A Framework for Prolog Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 481-495, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Carlo Zaniolo |
Design and Implementation of a Logic Based Language for Data Intensive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1666-1687, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Christian Codognet, Philippe Codognet, Gilberto Filé |
Yet Another Intelligent Backtracking Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 447-465, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | I. Attila, Paul Franchi-Zannettacci |
Unification-Free Execution of TYPOL Programs by Semantic Attribute Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 160-177, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Verónica Dahl |
Representing Linguistic Knowledge through Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 249-262, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Alan Bundy |
A Broader Interpretation of Logic in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1624-1648, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Jonathan Wayne Mills, Kevin A. Buettner |
Assertive Demons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1403-1414, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | M. A. Nait Abdallah |
Heuristic Logic and the Process of Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 859-875, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | V. S. Subrahmanian |
Intuitive Semantics for Quantitative Rule Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1036-1053, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Weidong Chen 0005, David Scott Warren |
Objects as Intensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 404-419, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Jorge Lobo 0001, Jack Minker, Arcot Rajasekar |
Weak Completion Theory for Non-Horn Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 828-842, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Graeme S. Port |
A Simple Approach to Finding the Cause of Non-Unifiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 651-665, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Layman E. Allen, Charles S. Saxon |
Multiple Interpretations of the Logical Structure of Legal Rules: Impediment or Boon to Legal Expert Systems? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1609-1623, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Teodor C. Przymusinski |
Perfect Model Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1081-1096, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Vijay A. Saraswat |
A Somewhat Logical Formulation of CLP Synchronisation Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1298-1314, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Toramatsu Shintani |
A Fast Prolog-Based Production System KORE/IE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 26-41, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Feliks Kluzniak |
Compile Time Garbage Collection for Ground Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1490-1505, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Patrizia Coscia, Paola Franceschi, Giorgio Levi, Giuseppe Sardu, Luigia Torre |
Meta-Level Definition and Compilation of Inference Engines in the Epsilon Logic Programming Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 359-373, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Stan Raatz, Jean H. Gallier |
A Relational Semantics for Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1024-1035, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Laxmikant V. Kalé, R. Ramkumar, Wei Wennie Shu |
A Memory Organization Independent Binding Environment for AND and OR Parallel Execution of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1223-1240, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Lynette Hirschman, William C. Hopkins, Robert C. Smith |
OR-Parallel Speed-Up in Natural Language Processing: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 263-279, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Jiyang Xu, David Scott Warren |
A Type Inference System for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 604-619, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Thomas W. G. Docker |
SAME - A Structured Analysis Tool and its Implementation in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 82-95, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Krzysztof R. Apt, Howard A. Blair |
Arithmetic Classification of Perfect Models of Stratified Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 765-779, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Gopalan Nadathur, Dale Miller 0001 |
An Overview of Lambda-PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 810-827, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Leon Alkalaj, Ehud Shapiro |
An Architectural Model for a Flat Concurrent Prolog Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1277-1297, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Staffan Bonnier, Jan Maluszynski |
Towards a Clean Amalgamation of Logic Programs with External Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 311-326, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Yow-Jian Lin, Vipin Kumar 0001 |
AND-Parallel Execution of Logic Programs on a Shared Memory Multiprocessor: A Summary of Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1123-1141, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Raghu Ramakrishnan 0001 |
Magic Templates: A Spellbinding Approach to Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 140-159, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Shmuel Kliger, Ehud Shapiro |
A Decision Tree Compilation Algorithm for FCP(!, : , ?). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1315-1336, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Zoltan Somogyi, Kotagiri Ramamohanarao, Jayen Vaghani |
A Stream AND-Parallel Execution Algorithm with Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1142-1159, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Maurice Bruynooghe, Gerda Janssens |
An Instance of Abstract Interpretation Integrating Type and Mode Inferencing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 669-683, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Sven-Olof Nyström |
Control Structures for Guarded Horn Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 1351-1370, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Dave Plummer |
Coda: An Extended Debugger for PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP/SLP ![In: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes), pp. 496-511, 1988, MIT Press, 0-262-61056-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|