| Reiner Hüchting |
|
Reiner Hüchting Foundations of Informatics Group, Department of Informatics, University of Kaiserslautern, Germany, PO Box: 3049, Building: 34/426, Phone: ++49 631 205 3051, Fax: ++49 631 205 3420, Email: huechting@informatik.uni-kl.de |
| RG Foundations of Informatics | Department of Informatics | Technical University of Kaiserslautern |