scientific article; zbMATH DE number 1962836

MaRDI QIDQ4418673zbMATH OpenFDO

Authors Markus Lohrey, Dietrich Kuske

Publication date 11 August 2003

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

zbMATH Keywords

decidabilityfirst-order theorymonoidscontext-free groupsCayley-graphmonatic second-order logic

Mathematics Subject Classification ID

Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Decidability of theories and sets of sentences (03B25) 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

(6)

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

This page was built for publication:

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