kozen1994action

D. Kozen. On action algebras. In Logic and Information Flow, Jan van Eijck, Albert Visser (eds.), Chap. 5, pp. 78-88, Foundations of Computing, MIT Press, 1994.

Keywords

[ Regexp ] [ Algexp ]

Contact

D. Kozen

BibTex Reference

@InCollection{kozen1994action,
   Author = {Kozen, D.},
   Title = {On action algebras},
   BookTitle = {Logic and Information Flow},
   editor = {van Eijck, Jan and Visser, Albert},
   Chapter= {5},
   Pages = {78--88},
   Series = {Foundations of Computing},
   Publisher = {MIT Press},
   Year = {1994}
}

EndNote Reference [help]

Get EndNote Reference (.ref)