A library of eyes in Go - II: Monolithic eyes (2009)
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Wolf, Thomas: A library of eyes in Go. I: A life-and-death definition consistent with bent-4 (2009)
- Wolf, Thomas; Pratola, Matthew: A library of eyes in Go. II: Monolithic eyes (2009)
- Niu, Xiaozhen; Müller, Martin: An improved safety solver in Go using partial regions (2008)