scientific article

zbMath1270.68196MaRDI QIDQ2843734

Grigore Roşu

Publication date: 23 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104806455

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Related Items (1)

Constructor-based observational logic

Uses Software

• OBJ3
• CafeOBJ
• Maude

This page was built for publication: