Research Group
Foundations of Informatics
Prof. Dr. K. Madlener

Publications 2002

Author Information

For information on the authors, as far as they belong to the working group, see the list of current and former staff.

Publications 2002

Vladimir Támara.
Integration of restricted design spaces and partial evaluation in a developing kernel for embedded systems. SFB 501 Report No. 06/01, SFB 501 University of Kaiserslautern, 2002. Abstract, Full Paper.

Dieter Hofbauer, Christoph Kögl, Klaus E. Madlener, and Friedrich Otto.
XSSR: An Experimental System for String Rewriting - Decision Problems, Algorithms, and Implementation. In A.M. Cohen, X-S. Gao, and N. Takayama, editors, Proceedings of the 1st International Congress of Mathematical Software, ICMS-02, pages 126-135. World Scientific, 2002.

RG Foundations of Informatics Department of Informatics Technical University of Kaiserslautern

Last Update: Tuesday, 18-Dec-07 17:59:10 GMT

Valid XHTML 1.0!