Searching for "Dynamic Algebras with Test." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Modal Kleene Algebra and Applications
by Survey Jules Desharnais, Jules Desharnais, Bernhard Möller, Georg Struth — 2004 — Journal on Relational Methods in Computer Science
… dynamic algebras [29,40,46] and test algebras [40,46,54] are proposition-based. Dynamic algebra has only…
Add To MetaCart

Dynamic Algebras: Examples, Constructions, Applications
by Vaughan Pratt — 1991 — Studia Logica
… algebras B (B 0 0) Regular algebras R (R [ ; ) Dynamic algebras D (B R 3) Test algebras E (D…
Cited by 16 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB