by Streicher, T
Published in Journal of applied logic (01.03.2014)

by Keimel, K., Rosenbusch, A., Streicher, T.
Published in Theoretical computer science (03.06.2011)

by Gorman, Joseph H., Gupta, Krishanu B., Streicher, James T., Gorman, Robert C., Jackson, Benjamin M., Ratcliffe, Mark B., Bogen, Daniel K., Edmunds, L.Henry
Published in The Journal of thoracic and cardiovascular surgery (01.09.1996)

by Gorman, Robert C, McCaughan, James S, Ratcliffe, Mark B, Gupta, Krishanu B, Streicher, James T, Ferrari, Victor A, St. John-Sutton, Martin G, Bogen, Daniel K, Edmunds, L.Henry
Published in The Journal of thoracic and cardiovascular surgery (01.04.1995)

by Hofmann, M., van Oosten, J., Streicher, T.
Published in Archive for mathematical logic (01.10.2006)

by Llaneras, Mario R., Nance, Michael L., Streicher, James T., Lima, Joao A.C., Savino, J.S., Bogen, Daniel K., Deac, Radu F.P., Ratcliffe, Mark B., Edmunds, L.Henry
Published in The Annals of thoracic surgery (01.02.1994)

by Streicher, T.
Published in Journal of applied logic (01.03.2014)

by Reus, B., Streicher, T.
Published in Proceedings - Symposium on Logic in Computer Science (2002)

by Llaneras, Mario R., Nance, Michael L., Streicher, James T., Linden, Philip L., Downing, Stephen W., Lima, Joao A.C., Deac, Radu, Edmunds, L. Henry
Published in The Journal of thoracic and cardiovascular surgery (01.03.1993)

by Ratciiffe, M.B., Gupta, K.B., Streicher, J.T., Savage, E.B., Bogen, D.K., Edmunds, L.H.
Published in IEEE transactions on biomedical engineering (01.06.1995)

by DiPierro, Francis V., Bavaria, Joseph E., Lankford, Edward B., Polidori, David J., Acker, Michael A., Streicher, James T., Gardner, Timothy J.
Published in The Annals of thoracic surgery (01.09.1996)

by Hofmann, M., Streicher, T.
Published in Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science (1994)

by Streicher, T, Špirková, J, Ilavská, M
Published in Česká a slovenská oftalmologie (01.06.2015)

by Streicher, T, Spirková, J, Tichá, M
Published in Česká a slovenská oftalmologie (01.11.2012)

by Frey, J, Streicher, T
Year of Publication 12.05.2020

by Altenkirch, T., Hofmann, M., Streicher, T.
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)

by Escardo, M.H., Streicher, T.
Published in Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science (1997)

by Frey, J, Streicher, T
Published in arXiv.org (18.09.2023)

by Furukawa, Satoshi, Kreiner, Gerhard, Bavaria, Joseph E., Streicher, James T., Edmunds, L.Henry
Published in The Annals of thoracic surgery (01.11.1991)

by Streicher, T, Spirková, J, Vican, J
Published in Česká a slovenská oftalmologie (01.10.2011)