default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic Programming: Formal Methods and Practical Applications, 1995
- Christoph Beierle, Lutz Plümer:
Logic Programming: Formal Methods and Practical Applications, Studies in Computer Science and Artificial Intelligence. Elsevier Science B.V./North-Holland 1995, ISBN 0-444-82092-2, pp. 1-404 - Wolfram Burgard:
Goal-Directed Forward Chaining: Tuple-oriented Bottom-up Approach. Logic Programming: Formal Methods and Practical Applications 1995: 1-19 - Egon Börger, Dean Rosenzweig:
The WAM - Definition and Compiler Correctness. Logic Programming: Formal Methods and Practical Applications 1995: 20-90 - Lutz Plümer:
Automatic Verification of Parallel Logic Programs: Termination. Logic Programming: Formal Methods and Practical Applications 1995: 91-119 - Armin B. Cremers, Thomas Lemke, Mechthild Rohen:
Logic Program Modules for Interoperable Information Systems. Logic Programming: Formal Methods and Practical Applications 1995: 121-138 - Christoph Beierle:
Concepts, Implementation, and Applications of a Typed Logic Programming Language. Logic Programming: Formal Methods and Practical Applications 1995: 139-167 - Gregor Meyer:
Polymorphic Feature Types. Logic Programming: Formal Methods and Practical Applications 1995: 169-203 - Peter Schachte, Georges Saab:
Efficient Object-Oriented Programming in Prolog. Logic Programming: Formal Methods and Practical Applications 1995: 205-243 - Henri Beringer, Bruno De Backer:
Combinatorial Problem Solving in Constraint Logic Programming with Cooperating Solvers. Logic Programming: Formal Methods and Practical Applications 1995: 245-272 - Silvia Breitinger, Hendrik C. R. Lock:
Using Constraint Logic Programming for Industrial Scheduling Problems. Logic Programming: Formal Methods and Practical Applications 1995: 273-299 - Leon Sterling, Venkatesh Srinivasan:
A Generic Scheduling Framework developed in Prolog. Logic Programming: Formal Methods and Practical Applications 1995: 301-322 - Jürgen Sauer:
Scheduling and Meta-Scheduling. Logic Programming: Formal Methods and Practical Applications 1995: 323-342 - Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli:
Robot Control Systems as Contextual Logic Programs. Logic Programming: Formal Methods and Practical Applications 1995: 343-379 - Christoph Brzoska, Karl Schäfer:
Temporal Logic Programming Applied to Image Sequence Evaluation. Logic Programming: Formal Methods and Practical Applications 1995: 381-395 - Hervé Gallaire:
Logic Programming - Past or Future? Logic Programming: Formal Methods and Practical Applications 1995: 397-404
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 2026-05-30 00:20 CEST 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:
