scientific article; zbMATH DE number 2087233

zbMath1073.03021MaRDI QIDQ4737917

Vesa Halava, Tero J.Harju

Publication date: 11 August 2004

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

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

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Thue and Post systems, etc. (03D03)

This page was built for publication: