Decidable theories of Cayley-graphs

DOI10.1007/3-540-36494-3_41MaRDI QIDQ4418673zbMATH OpenFDO

Authors Markus Lohrey, Dietrich Kuske

Publication date 11 August 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2607/26070463.htm

zbMATH Keywords

Cayley-graphcontext-free groupsdecidabilityfirst-order theorymonatic second-order logicmonoids

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Recommendations

• Logical aspects of Cayley-graphs: the group case
• LOGICAL ASPECTS OF CAYLEY-GRAPHS: THE MONOID CASE
• Cayley automata
• DECIDABILITY AND COMPLEXITY IN AUTOMATIC MONOIDS
• Developments in Language Theory

Cited in

(7)

• Cayley graphs as classifiers for data mining: the influence of asymmetries
• scientific article; zbMATH DE number 56048 (Why is no real title available?)
• The Cayley-graph of the queue monoid: logic and decidability
• DECIDABILITY AND COMPLEXITY IN AUTOMATIC MONOIDS
• LOGICAL ASPECTS OF CAYLEY-GRAPHS: THE MONOID CASE
• Developments in Language Theory
• Logical aspects of Cayley-graphs: the group case

This page was built for publication: Decidable theories of Cayley-graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4418673)