Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings - FroCoS 2007 (2007 : Liverpool, England); Konev, Boris; Wolter, Frank; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Keywords: Logic, Symbolic and mathematical -- Congresses; Computer science -- Congresses