TY  - CONF

T1  - Constructing Strictly Positive Families.

JO  - CATS

UR  - http://www.informatik.uni-trier.de/~ley/db/conf/cats/cats2007.html

PY  - 2007/01/01

AU  - Morris P

AU  - Altenkirch T

AU  - Ghani N

ED  - Gudmundsson J

ED  - Jay CB

PB  - Australian Computer Society

VL  - 65

SP  - 111

EP  - 121

Y2  - 2024/12/22

ER  -