|
СТ |
Active Networks for 4G Mobile Communication: Motivation, Architecture, and Application Scenarios |
2002 |
Prehofer C., Wei Q. |
|
|
|
Lecture Notes in Computer Science |
01.02.2003 |
|
СТ |
Feature-Oriented Programming: A Fresh Look at Objects |
1997 |
Prehofer C. |
|
|
|
Lecture Notes in Computer Science |
09.07.1997 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
On Modularity in Term Rewriting and Narrowing |
1994 |
Prehofer C. |
|
|
|
Lecture Notes in Computer Science |
01.10.1994 |
