Zobrazeno 1 - 10
of 56
pro vyhledávání: '"von Wright, Joakim"'
Autor:
Solin, Kim, von Wright, Joakim
Publikováno v:
In Science of Computer Programming 2009 74(8):654-668
Autor:
Back, Ralph-Johan, von Wright, Joakim
Publikováno v:
In Information and Computation 10 January 2000 156(1-2):25-45
Publikováno v:
In Electronic Notes in Theoretical Computer Science November 2002 70(3):1-2
Publikováno v:
Mathematics of Program Construction (9783540356318); 2006, p397-415, 19p
Autor:
Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Aagaard, Mark, Harrison, John, Laibinis, Linas, von Wright, Joakim
Publikováno v:
Theorem Proving in Higher Order Logics (9783540678632); 2000, p372-387, 16p
Autor:
Brauer, W., Gries, D., Stoer, J., Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John, Nazareth, Dieter, Nipkow, Tobias
Publikováno v:
Theorem Proving in Higher Order Logics (9783540615873); 1996, p331-345, 15p
Autor:
Brauer, W., Gries, D., Stoer, J., Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John, Pusch, Cornelia
Publikováno v:
Theorem Proving in Higher Order Logics (9783540615873); 1996, p347-361, 15p
Autor:
Brauer, W., Gries, D., Stoer, J., Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John, Laibinis, Linas
Publikováno v:
Theorem Proving in Higher Order Logics (9783540615873); 1996, p315-330, 16p
Autor:
Brauer, W., Gries, D., Stoer, J., Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John, Zammit, Vincent
Publikováno v:
Theorem Proving in Higher Order Logics (9783540615873); 1996, p431-446, 16p
Autor:
Brauer, W., Gries, D., Stoer, J., Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John, Tahar, Sofiène, Curzon, Paul
Publikováno v:
Theorem Proving in Higher Order Logics (9783540615873); 1996, p415-430, 16p