Zur Theorie Algorithmisch Abgeschlossener Modellklassen

DOI10.1007/BF01691101zbMath0202.00803MaRDI QIDQ5600864

Klaus Kaiser

Publication date: 1970

Published in: Mathematical Systems Theory (Search for Journal in Brave)

Related Items (2)

Zur Einbettungsbedingung im Zusammenhang mit einer Programmiersprache von Engeler ⋮ Algorithmic approximations

Cites Work

• Unnamed Item
• Die überinvarianten und verwandte Kongruenzrelationen einer allgemeinen Algebra
• Ultraproducts in the theory of models
• Introduction to model theory and to the metamathematics of algebra
• Algorithmic properties of structures

This page was built for publication: Zur Theorie Algorithmisch Abgeschlossener Modellklassen