scientific article; zbMATH DE number 515734
From MaRDI portal
Publication:4283237
zbMath0840.03023MaRDI QIDQ4283237
Francisca Lucio-Carrasco, Mario Rodríguez Artalejo, Antonio Gavilanes-Franco
Publication date: 1 July 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
partial logiccut-free sequent calculuspartial objectssimply-typed \(\lambda\)-calculuspartial higher order logicpartially ordered domainsrefutationally complete tableaux methodthree truth values
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)
This page was built for publication:
