Joakim von Wright

发表

Linas Laibinis, Joakim von Wright, 2000, TPHOLs.
Ralph-Johan Back, Joakim von Wright, J. V. Wright, 1998, Graduate Texts in Computer Science.
Joakim von Wright, Thomas Långbacka, 1992, CAV.
Joakim von Wright, J. V. Wright, 2004, Sci. Comput. Program..
Joakim von Wright, 1994, TPHOLs.
Ralph-Johan Back, Joakim von Wright, J. V. Wright, 1995, Inf. Process. Lett..
Ralph-Johan Back, Joakim von Wright, J. V. Wright, 1990, Acta Informatica.
Joakim von Wright, John Derrick, Eerke A. Boiten, 2002, Electron. Notes Theor. Comput. Sci..
Ralph-Johan Back, Jim Grundy, Joakim von Wright, 1996, Formal Aspects of Computing.
Joakim von Wright, 1998, TPHOLs.
Kaisa Sere, Joakim von Wright, 1991, 1991., International Workshop on the HOL Theorem Proving System and Its Applications.
Rimvydas Ruksenas, Joakim von Wright, Thomas Långbacka, 1995, TPHOLs.
Ralph-Johan Back, Joakim von Wright, J. V. Wright, 1989, MPC.
Joakim von Wright, 1995, Comput. J..
Joakim von Wright, Thomas Långbacka, 1997, TPHOLs.
Ralph-Johan Back, Joakim von Wright, 1999, Acta Informatica.
Joakim von Wright, Orieta Celiku, 2002, ICFEM.
Ralph-Johan Back, Joakim von Wright, 1992, REX Workshop.
Joakim von Wright, 1991, International Conference on Theorem Proving in Higher Order Logics.
Ralph-Johan Back, Joakim von Wright, J. V. Wright, 1992, Theor. Comput. Sci..
Ralph-Johan Back, Joakim von Wright, R. Back, 2000, Inf. Comput..
Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright, 2000, Formal Aspects of Computing.
Rimvydas Ruksenas, Joakim von Wright, 1998, TPHOLs.
Joakim von Wright, J. V. Wright, 2002, MPC.
Ralph-Johan Back, Joakim von Wright, J. V. Wright, 1993, Sci. Comput. Program..
Ralph-Johan Back, Joakim von Wright, 2000, Formal Aspects of Computing.
Anna Mikhajlova, Joakim von Wright, 1998, TPHOLs.
Ralph-Johan Back, Joakim von Wright, 1994, CONCUR.
Ralph-Johan Back, Joakim von Wright, J. V. Wright, 1989, REX Workshop.
Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright, 1999, World Congress on Formal Methods.
Joakim von Wright, Orieta Celiku, 2003, Tenth Asia-Pacific Software Engineering Conference, 2003..
Ralph-Johan Back, Joakim von Wright, 2003, Formal Aspects of Computing.
Joakim von Wright, 2005, Acta Informatica.
Ralph-Johan Back, Joakim von Wright, 1997, EXPRESS.
Joakim von Wright, 1991, Inf. Process. Lett..
Ralph-Johan Back, Joakim von Wright, 1989, Programming Concepts and Methods.
Joakim von Wright, Thomas Långbacka, Jukka Hekanaho, 1992, Formal Methods Syst. Des..
Joakim von Wright, 1994, Refine.
Ralph-Johan Back, Joakim von Wright, 2005, Formal Aspects of Computing.
Ralph-Johan Back, Joakim von Wright, 2002, Electron. Notes Theor. Comput. Sci..
Richard J. Boulton, Tobias Nipkow, Alan Bundy, 2003, Lecture Notes in Computer Science.
Joakim von Wright, Kim Solin, 2009, Sci. Comput. Program..
Joakim von Wright, 2004, Science of Computer Programming.
Joakim von Wright, R. Back, 1995, Inf. Process. Lett..