[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Research / AG / FP / AG / ComSubsElim
Printer-friendly
Lehrstuhl für Informatik II: AG Programmtransformation Aachen Univ. of Technology, Dept. of CS, Lehrstuhl für Informatik II, Research, AGPT

Eliminierung gleicher Teilausdrücke


Olaf Chitil, chitil@i2.informatik.rwth-aachen.de, Last Update: 27.2.97
Valid HTML 4.01 Strict! Valid CSS!