scientific article; zbMATH DE number 3441605

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

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