System Description

A system description of VMTL is available here (to appear in Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA '09), Brasilia, Brazil, Lecture Notes in Computer Science, 2009. Springer Verlag.)


VMTL is based on results from the following publications:
Last Update: January 31, 2009
Contact: vmtl@logic.at