Programs and logics
From MaRDI portal
Publication:1070221
DOI10.1007/BF00379762zbMath0584.03009MaRDI QIDQ1070221
Publication date: 1985
Published in: Studia Logica (Search for Journal in Brave)
predicate logic; recursive programs; propositional logics; iterative programs; finite control algorithms; Gentzen type formalizations; proof searching procedures; push-down algorithms
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
03B35: Mechanization of proofs and logical operations
68W99: Algorithms in computer science
Cites Work
- A sequence formalization for SCI
- Untersuchungen über das logische Schliessen. II
- A formalization of the modal propositional S4 calculus
- On the Gentzen Type Formalizations
- Sequents in many valued logic I
- Proving algorithms by tail functions
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item