Document Zbl 0387.68011

Induction rules and termination proofs. (English) Zbl 0387.68011

Automata, Languages, Programming, Proc. Sympos. Inst. Rech. Informatique Automatique (IRIA), Rocquencourt 1972, 225-251 (1973).

Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0387.68011

68N01	General topics in the theory of software
68Q60	Specification and verification (program logics, model checking, etc.)
68Q55	Semantics in the theory of computing
68Q65	Abstract data types; algebraic specification

PDF BibTeX XML

any	anywhere
an	internal document identifier
au	author, editor
ai	internal author identifier
ti	title
la	language
so	source
ab	review, abstract
py	publication year
rv	reviewer
cc	MSC code
ut	uncontrolled term
dt	document type (j: journal article; b: book; a: book article)