scientific article

From MaRDI portal

Publication:3800037

Jump to:navigation, search

zbMath0654.03054MaRDI QIDQ3800037

Michael Posegga

Publication date: 1988

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

zbMATH Keywords

data modelling algebraic theories logical systems algebraic quantifiers algebraic model-theory program modelling

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Equational categories (18C05) General topics in the theory of software (68N01)

This page was built for publication:

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