Вы здесь

Prehofer C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ On Modularity in Term Rewriting and Narrowing 1994 Prehofer C. Lecture Notes in Computer Science 01.10.1994
СТ Interpreter Verification for a Functional Language 1994 Broy M., Hinkel U., Nipkow T., Prehofer C., Schieder B. Lecture Notes in Computer Science 11.01.1995
СТ A Call-by-Need Strategy for Higher-Order Functional-Logic Programming 1995 Prehofer C. Logic Programming: Proc. of the 1995 Intern. Symp. 24.04.1996
СТ Higher-Order Narrowing with Convergent Systems 1995 Prehofer C. Lecture Notes in Computer Science Algebraic Methodology and Software Technology 13.09.1995
СТ Feature-Oriented Programming: A Fresh Look at Objects 1997 Prehofer C. Lecture Notes in Computer Science 09.07.1997
СТ Active Networks for 4G Mobile Communication: Motivation, Architecture, and Application Scenarios 2002 Prehofer C., Wei Q. Lecture Notes in Computer Science 01.02.2003