Interpretability of first-order linear temporal logics in fork algebras
Marcelo F. Frias, Carlos G. López PomboVolume:
66
Year:
2006
Language:
english
Pages:
24
DOI:
10.1016/j.jlap.2005.04.005
File:
PDF, 3.95 MB
english, 2006