scientific article; zbMATH DE number 1962836

zbMath1036.03009MaRDI QIDQ4418673

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

first-order theorydecidabilitymonoidscontext-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)

Related Items (2)

Logical aspects of Cayley-graphs: the group case ⋮ Cayley graphs as classifiers for data mining: the influence of asymmetries

This page was built for publication: