返回目錄
作者:  RelMiCS 2008 (10th : 2008 : Frauenwörth, Germany)
書名:  Relations and Kleene algebra in computer science : 10th international conference on relational methods in computer science and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 : proceedings / Rudolf Berghammer, Bernhard Möller, Gerog Struth (eds.)