scientific article; zbMATH DE number 1088045
From MaRDI portal
Publication:4364394
zbMath0885.03029MaRDI QIDQ4364394
Franco Barbanera, Massimo Schivalocchi, Stefano Berardi
Publication date: 15 April 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) First-order arithmetic and fragments (03F30) Combinatory logic and lambda calculus (03B40)
Related Items (4)
Classical Logic with Mendler Induction ⋮ Programming and Proving with Classical Types ⋮ Herbrand's theorem as higher order recursion ⋮ Toward the interpretation of non-constructive reasoning as non-monotonic learning
This page was built for publication:
