Ohlebusch E.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
СТ	Relative Undecidability in Term Rewriting	1997	Geser A., Middeldorp A., Ohlebusch E., Zantema H.				Lecture Notes in Computer Science	18.07.1997
СТ	A New Calculus for Semantic Matching	1995	Butow B., Giegerich R., Ohlebusch E., Thesing S.	Lecture Notes in Computer Science			Programming Languages: Implementations, Logics and Programs	16.11.1995