Skolem's Problem -- On the Border between Decidability and Undecidability (2005)

Cached

Download Links

by Vesa Halava , Tero Harju , Mika Hirvensalo , Juhani Karhumäki
Citations:15 - 1 self