scientific article

From MaRDI portal

Publication:4004808

Jump to:navigation, search

zbMath0749.03030MaRDI QIDQ4004808

Hugo Volger

Publication date: 27 September 1992

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

zbMATH Keywords

deductive databases syntactical characterization closed under pullbacks quasiinitial families of models

Mathematics Subject Classification ID

Database theory (68P15) Model theory (03C99) Categorical logic, topoi (03G30)

This page was built for publication:

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