scientific article; zbMATH DE number 814830
From MaRDI portal
Publication:4855375
zbMATH Open0846.68013MaRDI QIDQ4855375FDOQ4855375
Authors: Zohar Manna, Richard Waldinger 
Publication date: 9 November 1995
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 3913652
- Logic for informatics and artificial intelligence
- scientific article; zbMATH DE number 5194318
- scientific article; zbMATH DE number 46019
- scientific article; zbMATH DE number 3936465
- scientific article; zbMATH DE number 193652
- scientific article; zbMATH DE number 1001667
- scientific article; zbMATH DE number 1615755
- Logic and Language Models for Computer Science
- Programs are predicates
General topics in the theory of software (68N01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)
Cited In (7)
- Synthesis of positive logic programs for checking a class of definitions with infinite quantification
- A practical integration of first-order reasoning and decision procedures
- Title not available (Why is that?)
- A higher-order interpretation of deductive tableau
- Title not available (Why is that?)
- Title not available (Why is that?)
- Deduction and Declarative 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 Q4855375)
