1
0
0
(1 - 14 von 16
)
Achim Blumensath, A model-theoretic characterisation of clique width...
philpapers.org
We generalise the concept of clique width to structures of arbitrary signature and cardinality. We present characterisations of clique width in terms of...
Achim Blumensath - The Mathematics Genealogy Projectwww.genealogy.math.ndsu.nodak.edu › ...
www.genealogy.math.ndsu.nodak.edu
Achim Blumensath. MathSciNet. Dr. rer. nat. Rheinisch-Westfälische Technische Hochschule Aachen Germany. Dissertation: Structures of Bounded ...
Structures of Bounded Partition Width - Achim Blumensath - Google...
books.google.de
Achim Blumensath pages. 0 Reviewshttp://books.google.com/books/about/Structures_of_Bounded_Partition_Width.html?id=XPwvywAACAAJ ...
Automata, Logics, and Infinite Games: A Guide to Current Research
books.google.co.uk
239 Philipp Rohde Part VII. Tree-like Models 16 The Monadic Theory of Tree-like Structures Dietmar Berwanger, Achim Blumensath 17 Two-Way ...
Proceedings Of The 11th Asian Logic Conference: In Honor Of ...books.google.fi › books
books.google.fi
Achim Blumensath and Erich Grädel. Automatic structures. 15th Annual IEEE Symposium on Logic in Computer Science (LICS), pages 51–62, IEEE Computer ...
STACS 2002: 19th Annual Symposium on Theoretical Aspects of Computer...
books.google.de
Axiomatising Tree-Interpretable Structures Achim Blumensath RWTH Aachen Abstract. Generalising the Axiomatizing GSOS with Termination 595.
Organization: ============= Each seminar topic is assigned an ...
www.tcs.cs.tu-bs.de
... together with addition and multiplication, do not admit an automatic presentation. Literature: =========== Achim Blumensath, Automatic Structures, Diploma ...
MGI - Publikationen: Achim Blumensath
logic.rwth-aachen.de
A. Blumensath. Axiomatising Tree-interpretable Structures. In Proceedings of 19th International Symposium on Theoretical Aspects of Computer Science, vol of
GAMES - Past Publications
www.games.rwth-aachen.de
Grädel. Finite Presentations of Infinite Structures. In Proceedings of the 2nd ... author = {Achim Blumensath and Erich Gr{\"a}del}, title = {Finite Presentations of ...
Axiomatising Tree-Interpretable Structures | SpringerLink
link.springer.com
Generalising the notion of a prefix-recognisable graph to arbitrary relational structures we introduce the class of tree-interpretable structures.We prove that...
LICS
lics.siglog.org
Authors: Achim Blumensath Erich Grädel Abstract. We study definability and complexity issues for automatic and omega-automatic structures. These are, in general
[PDF] Finite Presentations of Infinite Structures: Automata and...
www.semanticscholar.org
Finite Presentations of Infinite Structures: Automata and Interpretations. Achim Blumensath and Erich Grädel. Mathematical Foundations of Computer Science,.
LICS - Archive
lics.siglog.org
Paper: Achim Blumensath Erich Grädel Automatic Structures (LICS 2000) More Information... Paper: Erich Grädel Colin Hirsch Martin Otto
LICS - Archive
lics.siglog.org
Achim Blumensath. Paper: Achim Blumensath Erich Grädel Automatic Structures (LICS 2000) More Information... Richard Blute. Paper: Richard Blute Josée Desharnais
Alle Infos zum Namen "Achim Blumensath"
sortiert nach Relevanz / Datum