Theoretical Computer Science
Home
Mission
Research
Teaching
Software
Events
Projects
Vacancies
Former Members
TCT
Description
Contact
Download
TcT Web
TcT - A Complexity Analyser
Choose your destiny:
Term Rewrite Systems
Integer Transition Systems
Higher Order Functional Programs
Object Oriented Bytecode Programs