scientific article
From MaRDI portal
Publication:3138832
zbMath0790.03029MaRDI QIDQ3138832
Publication date: 18 November 1993
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) General topics in the theory of software (68N01)
Related Items
Formalizing non-termination of recursive programs, Theories with self-application and computational complexity., Term rewriting theory for the primitive recursive functions, Proof-theoretic notions for software maintenance, Explicit mathematics: power types and overloading, Axioms for strict and lazy functional programs, Tiered Arithmetics, A flexible type system for the small Veblen ordinal
