scientific article; zbMATH DE number 86272
From MaRDI portal
Publication:4015484
zbMATH Open0767.68015MaRDI QIDQ4015484FDOQ4015484
Authors: Johan van Benthem
Publication date: 13 January 1993
Title of this publication is not available (Why is that?)
Recommendations
Cited In (21)
- Most specific logic programs
- Title not available (Why is that?)
- Logic Programming
- Some model theory for the modal \(\mu\)-calculus: syntactic characterisations of semantic properties
- Title not available (Why is that?)
- Reasoning with logic programming
- Mathematical programming embeddings of logic
- Super logic programs
- Steadfast logic programs
- Proofs, reasoning and the metamorphosis of logic
- Support logic programming
- Declarative programming: a logical view
- A transformation of propositional Prolog programs into classical logic
- Title not available (Why is that?)
- Importing logics
- Programming with higher-order logic.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Programming in logic without logic programming
- Title not available (Why is that?)
- A Survey of the Proof-Theoretic Foundations of Logic Programming
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4015484)