![]() | ![]() |
2007 | ||
---|---|---|
7 | EE | James B. Hart, Constantine Tsinakis: A concrete realization of the Hoare powerdomain. Soft Comput. 11(11): 1059-1063 (2007) |
2006 | ||
6 | EE | Constantine Tsinakis, Annika M. Wille: Minimal Varieties of Involutive Residuated Lattices. Studia Logica 83(1-3): 407-423 (2006) |
2004 | ||
5 | EE | Constantine Tsinakis, Han Zhang: Order Algebras as Models of Linear Logic. Studia Logica 76(2): 201-225 (2004) |
4 | EE | Bjarni Jónsson, Constantine Tsinakis: Products of Classes of Residuated Structures. Studia Logica 77(2): 267-292 (2004) |
2003 | ||
3 | EE | Kevin Blount, Constantine Tsinakis: The Structure of Residuated Lattices. IJAC 13(4): 437-461 (2003) |
2002 | ||
2 | EE | James B. Hart, Lori Rafter, Constantine Tsinakis: The Structure of Commutative Residuated Lattices. IJAC 12(4): 509-524 (2002) |
2000 | ||
1 | EE | Klaus Keimel, Michael W. Mislove, Constantine Tsinakis: Modern Algebra - Foreword. Theor. Comput. Sci. 249(1): 1 (2000) |
1 | Kevin Blount | [3] |
2 | James B. Hart | [2] [7] |
3 | Bjarni Jónsson | [4] |
4 | Klaus Keimel | [1] |
5 | Michael W. Mislove | [1] |
6 | Lori Rafter | [2] |
7 | Annika M. Wille | [6] |
8 | Han Zhang | [5] |