|
СТ |
Infinitary rewriting: meta-theory and convergence |
2007 |
Kahrs S. |
|
|
|
Acta Informatica |
26.06.2007 |
|
П |
Lecture Notes on Formal Program Development |
1997 |
Kahrs S. |
|
|
Laboratory for Foundations of Computer Science |
Computer |
25.08.1999 |
|
СТ |
Reflections on the Design of a Specification Language |
1998 |
Kahrs S., Sannella D. |
|
|
|
Lecture Notes in Computer Science |
18.04.1998 |
|
СТ |
Towards a Domain Theory for Termination Proofs |
1995 |
Kahrs S. |
|
|
|
Lecture Notes in Computer Science |
28.04.1995 |
|
СТ |
Interfaces and Extended ML |
1994 |
Kahrs S., Sannella D., Tarlecki A. |
|
|
|
SIGPLAN Notices |
30.08.1994 |
|
СТ |
Compilation of Combinatory Reduction Systems |
1994 |
Kahrs S. |
|
|
|
Lecture Notes in Computer Science |
24.08.1994 |
|
СТ |
First-Class Polymorphism for ML |
1994 |
Kahrs S. |
|
|
|
Lecture Notes in Computer Science |
13.05.1994 |
|
СТ |
Unlimp Uniqueness as a Leitmotiv for Implementation |
1992 |
Kahrs S. |
|
|
|
Lecture Notes in Computer Science |
13.10.1992 |
