scientific article; zbMATH DE number 785047

From MaRDI portal

Revision as of 02:54, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4842536

Jump to:navigation, search

zbMath0831.68061MaRDI QIDQ4842536

Rolf Hennicker, Martin Wirsing

Publication date: 14 August 1995

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

zbMATH Keywords

semantics of algebraic specification

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (3)

Observational logic, constructor-based logic, and their duality. ⋮ Proof systems for structured specifications with observability operators ⋮ On behavioural abstraction and behavioural satisfaction in higher-order logic

This page was built for publication:

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