scientific article; zbMATH DE number 2114479

zbMath1055.18001MaRDI QIDQ4826149

Robert J. MacG. Dawson, Robert Paré, Dorette Pronk

Publication date: 11 November 2004

Full work available at URL: http://www.numdam.org/item?id=CTGDC_2004__45_1_35_0

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

zbMATH Keywords

decidabilityabacusdouble category

Mathematics Subject Classification ID

Related Items (2)

Coherent confluence modulo relations and double groupoids ⋮ Model structures on the category of small double categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines
• Adjoining adjoints
• Undecidability of the free adjoint construction
• Homotopical algebra
• How to Program an Infinite Abacus
• Catégories structurées
• What is a free double category like?

This page was built for publication: