scientific article

zbMath0512.68020MaRDI QIDQ3657415

Peter Padawitz

Publication date: 1983

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

zbMATH Keywords

algebraic specificationssemanticsrecursive program schemespartial-recursive operations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items

Critical pairs in term graph rewriting