|
СТ |
Views of Distributed Systems |
1986 |
Broy M., Streicher T. |
|
|
Univ.Passau |
|
02.06.1995 |
|
СТ |
A Tiny Constraint Functional Logic Language and Its Continuation Semantics |
1994 |
Muck A., Streicher T. |
|
|
|
Lecture Notes in Computer Science |
13.05.1994 |
|
СТ |
Verifying Properties of Module Construction in Type Theory |
1993 |
Reus B., Streicher T. |
|
|
|
Lecture Notes in Computer Science |
21.10.1993 |
|
СТ |
Modular Functional Modelling of Petri Nets with Individual Tokens |
1992 |
Broy M., Streicher T. |
|
|
|
Lecture Notes in Computer Science |
09.07.1992 |
|
П |
An Elementary Characterization of Fibred Categories with Internal Sums and Products |
1991 |
Streicher T. |
|
|
Univ.Passau |
SIGCSE Bull. |
10.01.1992 |
|
П |
Mathematical Independencies in the Pure Calculus of Constructions |
1991 |
Streicher T. |
|
|
Univ.Passau |
|
02.10.1991 |
|
П |
Dependence and Independence Results for (Impredicative) Calculi of Dependent Types |
1990 |
Streicher T. |
|
|
Univ.Passau |
|
26.02.1991 |
