1
出版 2006
書本目錄: ... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...
獲取全文
電子 電子書