[Lecture Notes in Computer Science] Theoretical Aspects of Computing - ICTAC 2004 Volume 3407 || Idempotent Relations in Isabelle/HOL
Liu, Zhiming, Araki, KeijiroVolume:
10.1007/b1
Year:
2005
Language:
english
DOI:
10.1007/978-3-540-31862-0_23
File:
PDF, 172 KB
english, 2005