Algebraic methods II: theory, tools and applications

From MaRDI portal

Revision as of 06:01, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:1202089

Jump to:navigation, search

zbMath0875.00046MaRDI QIDQ1202089

No author found.

Publication date: 23 January 1993

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Algebraic methods II

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Abstract data types; algebraic specification (68Q65)

Related Items (3)

Constraining interference in an object-based design method ⋮ Preferential choice and coordination conditions ⋮ Splitting bisimulations and retrospective conditions

This page was built for publication: Algebraic methods II: theory, tools and applications

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