Product systems over right-angled Artin semigroups. (English)
Trans. Am. Math. Soc. 354, No.4, 1487-1509 (2002).
1
Tools with AI in the government (English)
ICTAI, 345 (1994).
2
Effective inner product spaces. (English)
Notre Dame J. Formal Logic 19, 693-701 (1978).
3
$α$-decompositions of $α$-spaces. (English)
J. Symb. Log. 41, 483-488 (1976).
4
Intersections of $α$-spaces. (English)
J. Aust. Math. Soc., Ser. A 20, 398-418 (1975).
5
Sums of $α$-spaces. (English)
Notre Dame J. Formal Logic 16, 379-388 (1975).
6