scientific article

From MaRDI portal

Publication:3339254

Jump to:navigation, search

zbMath0547.68012MaRDI QIDQ3339254

Helmut Partsch

Publication date: 1984

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

zbMATH Keywords

transformation systems inferential programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Structured algebraic specifications: A kernel language

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3339254&oldid=16584693"