![]() | ![]() |
2007 | ||
---|---|---|
2 | EE | James B. Hart, Constantine Tsinakis: A concrete realization of the Hoare powerdomain. Soft Comput. 11(11): 1059-1063 (2007) |
2002 | ||
1 | EE | James B. Hart, Lori Rafter, Constantine Tsinakis: The Structure of Commutative Residuated Lattices. IJAC 12(4): 509-524 (2002) |
1 | Lori Rafter | [1] |
2 | Constantine Tsinakis | [1] [2] |