scientific article

From MaRDI portal

Jump to:navigation, search

zbMath0625.68022MaRDI QIDQ3028333

Manfred Broy

Publication date: 1987

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

zbMATH Keywords

model theory equations algebraic abstract types conditional formulas Deduction rules definedness predicate hierarchical types higher order types implementations of algebraic types partial interpretations specification of algebras

Mathematics Subject Classification ID

Data structures (68P05)

Related Items

Universal algebra in higher types, Verifying an infinite systolic algorithm using third-order equational methods

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