scientific article; zbMATH DE number 3633707
From MaRDI portal
Publication:4194453
zbMath0407.68042MaRDI QIDQ4194453
No author found.
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theorem ProvingComputable FunctionFirst Order LogicStructural InductionFringe-ProblemRecursive Program
Abstract data types; algebraic specification (68Q65) Classical first-order logic (03B10) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (5)
Non-standard algorithmic and dynamic logic ⋮ Unification modulo an equality theory for equational logic programming ⋮ Meeting of the Association for Symbolic Logic, Stanford, California, 1985 ⋮ A metatheory of a mechanized object theory ⋮ A mechanical proof of the termination of Takeuchi's function
This page was built for publication:
