Theory of symbolic expressions. II

DOI10.2977/prims/1195179055zbMath0592.68034OpenAlexW2025895925MaRDI QIDQ1075757

Masahiko Sato

Publication date: 1985

Published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2977/prims/1195179055

zbMATH Keywords

logic programmingtheory of computationformal proofconstructive proofstheorem proverfirst order theoriessymbolic arithmetic

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Abstract data types; algebraic specification (68Q65) Mechanization of proofs and logical operations (03B35) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items

Computation of full logic programs using one-variable environments, External and internal syntax of the \(\lambda \)-calculus