James B. Hart

Publication Activity (10 Years)

Years Active: 2002-2009
Publications (10 Years): 0

Publications

James B. Hart, Constantine Tsinakis
Ordinal decompositions for preordered root systems. Ann. Pure Appl. Log. 161 (2) (2009)
James B. Hart, Constantine Tsinakis
A concrete realization of the Hoare powerdomain. Soft Comput. 11 (11) (2007)
James B. Hart, Lori Rafter, Constantine Tsinakis
The Structure of Commutative Residuated Lattices. Int. J. Algebra Comput. 12 (4) (2002)