Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie I

DOI10.1002/MALQ.19710170111zbMath0231.02058OpenAlexW4230086632MaRDI QIDQ5638299

Kurt Hauschild, Wolfgang Rautenberg

Publication date: 1971

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19710170111

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Graph theory (05C99)

Related Items (3)

The Härtig quantifier: a survey ⋮ Model-interpretability into trees and applications ⋮ On elementary theories of graphs and Abelian loops

This page was built for publication: Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie I