Properties of overwriting for updates in typed Kleene algebras:
Saved in:
Bibliographic Details
Format: Electronic eBook
Language:English
Published: Augsburg Inst. für Informatik 2000
Series:Report / Institut für Informatik 2000,7
Subjects:
Online Access:Volltext
Physical Description:1 Online-Ressource