LES ETUDES D'IMPACTSTREICHER T; BARAQUE B.METROPOLIS. 1975, Num 6, pp 22-30Article

Independence of the induction principle and the axiom of choice in the pure calculus of constructionsSTREICHER, T.Theoretical computer science. 1992, Vol 103, Num 2, pp 395-408, issn 0304-3975Article

Specification and design of shared resource arbitrationBROY, M; STREICHER, T.International journal of parallel programming. 1991, Vol 20, Num 1, pp 1-22, issn 0885-7458Article

Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic languageKEIMEL, K; ROSENBUSCH, A; STREICHER, T et al.Theoretical computer science. 2011, Vol 412, Num 25, pp 2701-2713, issn 0304-3975, 13 p.Article

Zahnradmakulopathie-eine neue Form der pattern Dystrophy? = Maculopathie en «roue dentée»: une nouvelle forme de dystrophie rétinienne = «Cogwheel» maculopathy. A new form of pattern dystrophySTREICHER, T; SVERAK, J; PEREGRIN, J et al.Klinische Monatsblätter für Augenheilkunde. 1987, Vol 191, Num 6, pp 481-483, issn 0023-2165Article

General synthetic Domain Theory : A logical approach (extended abstract)REUS, B; STREICHER, T.Lecture notes in computer science. 1997, pp 293-313, issn 0302-9743, isbn 3-540-63455-XConference Paper