Theory of symbolic expressions. II

From MaRDI portal

Revision as of 00:41, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1075757

Jump to:navigation, search

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 programming theory of computation formal proof constructive proofs theorem prover first order theories symbolic 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 (2)

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

This page was built for publication: Theory of symbolic expressions. II

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1075757&oldid=13102711"