Brian Herlihy

Publication Activity (10 Years)

Years Active: 2006-2007
Publications (10 Years): 0

Publications

Brian Herlihy, Peter Schachte, Harald Søndergaard
Un-Kleene Boolean equation Solving. Int. J. Found. Comput. Sci. 18 (2) (2007)
Brian Herlihy, Peter Schachte, Harald Søndergaard
Boolean equation solving as graph traversal. CATS (2006)