scientific article; zbMATH DE number 3441605

From MaRDI portal

Revision as of 23:27, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4766569

Jump to:navigation, search

zbMath0281.68007MaRDI QIDQ4766569

D. J. Kfoury

Publication date: 1973

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

Mathematics Subject Classification ID

Model theory (03C99) General topics in the theory of software (68N01)

Related Items (6)

Finiteness is mu-ineffable ⋮ Expressive power of typed and type-free programming languages ⋮ Relative complexity of algebras ⋮ Translatability of schemas over restricted interpretations ⋮ Implementation of data types by algebraic methods ⋮ Some questions about expressiveness and relative completeness in Hoare's logic

This page was built for publication:

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