scientific article

zbMATH Open0967.68001MaRDI QIDQ2719333

Felix Cornelius, Philip Zeitz, Hartmut Ehrig, Bernd Mahr, Martin Grosse-Rhode

Publication date: 25 June 2001

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

zbMATH Keywords

propositional logicformal specification

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Classical first-order logic (03B10) Classical propositional logic (03B05) Discrete mathematics in relation to computer science (68R99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)

Related Items (4)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: