On the well-foundedness of adequate orders used for construction of complete unfolding prefixes
Thomas Chatain, Victor KhomenkoVolume:
104
Year:
2007
Language:
english
Pages:
8
DOI:
10.1016/j.ipl.2007.06.002
File:
PDF, 194 KB
english, 2007