Filters: Author is Stephan Eidenbenz [Clear All Filters]
“Axiomatising Divergence”, in Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings, 2002, vol. 2380, pp. 585-596. paper-195.pdf (202.29 KB)
,