View in EDS PDF Full Text

Kleene Algebra with Domain.

Saved in:
Bibliographic Details
Title: Kleene Algebra with Domain.
Authors: Desharnais, Jules1, Jules.Desharnais@ift.ulaval.ca, Möller, Bernhard2, moeller@informatik.uni-augsburg.de, Struth, Georg3, G.struth@dcs.shef.ac.uk
Source: ACM Transactions on Computational Logic; Oct2006, Vol. 7 Issue 4, p798-833, 36p
Database: Applied Science & Technology Source
Description
ISSN:15293785
DOI:10.1145/1183278.1183285