Buth K. -H.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
СТ	Simulation of SOS Definitions with Term Rewriting Systems	1994	Buth K. -H.				Lecture Notes in Computer Science	06.05.1994
СТ	Provably Correct Compiler Development and Implementation	1992	Buth B., Buth K. -H., Franzle M., Karger B. V., Lakhneche Y., Langmaack H., Muller-Olm M.				Lecture Notes in Computer Science	27.10.1992