Engeler's scientific work

DOI10.1017/S0960129500001390zbMath0754.01018OpenAlexW2131879584MaRDI QIDQ4017457

No author found.

Publication date: 16 January 1993

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129500001390

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70)

Cites Work

• A reduction-principle for infinite formulas
• Eine Konstruktion von Modellerweiterungen
• Äquivalenzklassen von n‐Tupeln
• Unendliche Formeln in Der Modelltheorie
• Zur Beweistheorie Von Sprachen Mit Unendlich Langen Formeln

This page was built for publication: Engeler's scientific work