scientific article
From MaRDI portal
Publication:3159146
zbMath1095.03001MaRDI QIDQ3159146
Publication date: 14 February 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Constraint Satisfaction Problems over the Integers with Successor ⋮ Unnamed Item ⋮ Computable Følner monotilings and a theorem of Brudno ⋮ Interpreting the arithmetic in Thompson's group \(F\). ⋮ Distance constraint satisfaction problems ⋮ First-order theories of bounded trees
Uses Software
