scientific article

zbMath0732.03026MaRDI QIDQ3358718

Antonio Gavilanes-Franco

Publication date: 1990

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

proof theorypartial recursive functionstableaux methodlogic of programstyped functional languageBoolean-valued semanticscomplete sequent calculifirst-order \(\lambda \) \(\mu \) -calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Cut-elimination and normal-form theorems (03F05) Recursive functions and relations, subrecursive hierarchies (03D20)

This page was built for publication: