Programs and logics

DOI10.1007/BF00379762zbMath0584.03009MaRDI QIDQ1070221

Anita Wasilewska

Publication date: 1985

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

predicate logicrecursive programspropositional logicsiterative programsfinite control algorithmsGentzen type formalizationsproof searching procedurespush-down algorithms

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Mechanization of proofs and logical operations (03B35) Algorithms in computer science (68W99)

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

This page was built for publication: Programs and logics