scientific article; zbMATH DE number 3808936

zbMATH Open0512.68020MaRDI QIDQ3657415FDOQ3657415

Authors: Peter Padawitz 

Publication date: 1983

Title of this publication is not available (Why is that?)

zbMATH Keywords

semanticsalgebraic specificationsrecursive program schemespartial-recursive operations

Mathematics Subject Classification ID

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

Cited In (1)

• Critical pairs in term graph rewriting

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3657415)