![](/img/cover-not-exists.png)
Automatic decidability and combinability
Christopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khanh TranVolume:
209
Year:
2011
Language:
english
Pages:
22
DOI:
10.1016/j.ic.2011.03.005
File:
PDF, 286 KB
english, 2011