Logic program forms
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4016224 (Why is no real title available?)
- scientific article; zbMATH DE number 3466489 (Why is no real title available?)
- scientific article; zbMATH DE number 3639163 (Why is no real title available?)
- scientific article; zbMATH DE number 3640922 (Why is no real title available?)
- A Transformation System for Developing Recursive Programs
- Context-free grammar forms
- Horn clause computability
- The Semantics of Predicate Logic as a Programming Language
Cited in
(6)- scientific article; zbMATH DE number 5347850 (Why is no real title available?)
- Process logic with regular formulas
- The theory of form logic
- Logical forms, substitutions and information types
- scientific article; zbMATH DE number 4139316 (Why is no real title available?)
- scientific article; zbMATH DE number 4028939 (Why is no real title available?)
This page was built for publication: Logic program forms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1822224)