scientific article; zbMATH DE number 3893177
From MaRDI portal
Publication:5184892
zbMath0561.03015MaRDI QIDQ5184892
Peter van Emde Boas, Theo M. V. Janssen
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
programming languagespredicate logiccylindric algebrassemantic analysisnatural languagesmany sorted algebraarray assignmentFregean principle of compositionality of meaningsemantics of arrays
Semantics in the theory of computing (68Q55) Classical first-order logic (03B10) Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15) General logic (03B99)
This page was built for publication:
