|
СТ |
Building Reliable, High-Performance Communication Systems from Components |
1999 |
Liu X., Kreitz C., Van Renesse R., Hickey J., Hayden M., Birman K., Constable R. |
|
|
|
Operating Systems Review |
19.04.2000 |
|
СТ |
A Multi-level Approach to Program Synthesis |
1998 |
Bibel W., Korn D., Kreitz C., Kurucz F., Otten J., Schmitt S., Stolpmann G. |
|
|
|
Lecture Notes in Computer Science |
14.10.1998 |
|
СТ |
Guiding Program Development Systems by a Connection Based Proof Strategy |
1996 |
Kreitz C., Otten J., Schmitt S. |
|
|
|
Lecture Notes in Computer Science |
30.03.1996 |
|
СТ |
On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs |
1995 |
Schmitt S., Kreitz C. |
|
|
|
Lecture Notes in Artificial Intelligence |
02.06.1995 |
|
СТ |
A Connection Based Proof Method for Intuitionistic Logic |
1995 |
Otten J., Kreitz C. |
|
|
|
Lecture Notes in Artificial Intelligence |
02.06.1995 |
