[Search form] [Info about the database] [Search tips]

Biblio: the search term namn=('Wright, Joakim von') results in 13 hits

1. Wright, Joakim von / Institutionen för informationsbehandling
  Mechanising proofs of program transformation rules / K. Sere and J. von Wright.
- In: Proceedings of the 2nd symposium on programming language and software tools / Kai Koskimies and Kari-Jouko Räihä (eds.). - Tampere : University of Tampere, 1991, s. 103-117. - (Series of publikations/University of Tampere. Department of computer science. A., ISSN 0783-6910 ; 1991, 5).

2. Wright, Joakim von / Institutionen för informationsbehandling
  Program inversion in the refinement calculus / J. von Wright.
- In: Information processing letters, ISSN 0020-0190, 37 (1991) s. 95-100.

3. Wright, Joakim von / Institutionen för informationsbehandling
  Combining angels, demons and miracles in program specifications / R. J. R. Back and J. von Wright.
- In: Theoretical computer science, ISSN 0304-3975, 100 (1992) s. 365-383.

4. Wright, Joakim von / Institutionen för informationsbehandling
  Data refinement and and the simulation method / J. von Wright. - Åbo : Åbo akademi, 1992. - 17 s. - (Reports on computer science & mathematics, ISSN 1235-7502 ; no 137).
ISBN 951-650-121-4
5. Wright, Joakim von / Institutionen för informationsbehandling
  Data refinement with stuttering / J. von Wright. - Åbo : Åbo akademi, 1992. - 25 s. - (Reports on computer science & mathematik. Ser. A, ISSN 1235-7502 ; no 138).
ISBN 951-650-122-2
6. Wright, Joakim von / Institutionen för informationsbehandling
  Doing lattice theory in higher order logic / J. von Wright. - Åbo : Åbo Akademi , 1992. - 16 bl. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 136).
ISBN 951-650-076-5
7. Wright, Joakim von / Institutionen för informationsbehandling
  The lattice of data refinement / J. von Wright. - Åbo : Åbo Akademi, 1992. - 25 bl. : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 130).
ISBN 951-650-026-9
8. Wright, Joakim von / Institutionen för informationsbehandling
  Mechanising some advanced refinement concept / J. von Wright...et al. - Åbo : Åbo akademi, 1992. - 19 s. : ill. - (Reports on computer science & mathematics, ISSN 1235-7502 ; no 140).
ISBN 951-650-138-9
9. Wright, Joakim von / Institutionen för informationsbehandling
  The lattice of data refinement / Joakim von Wright.
- In: Acta informatica, ISSN 0001-5903, 31 (1994) s. 105-135.

10. Wright, Joakim von / Institutionen för informationsbehandling
  Program refinement by theorem prover / J. von Wright.
- In: 6th Refinement Workshop : proceedings of the 6th Refinement Workshop organised by BCS-FACS, London, 5-7 January 1994 / David Till (ed.). - London : Springer, 1994, s. 121-150. - (Workshop in computing).

11. Wright, Joakim von / Institutionen för informationsbehandling
  Trace refinement of action systems / R. J. R. Back, J. von Wright.
- In: CONCUR '94 : concurrency theory : 5th international conference, Uppsala, Sweden, August 22-25, 1994 / Bengt Jonsson, Joachim Parrow (eds.). - Berlin : Springer-Verlag, 1994, - (Lecture notes in computer science ; 836).
ISBN 0-387-58329-7 3-540-58329-7
12. Wright, Joakim von / Institutionen för informationsbehandling
  Games and winning strategies / R. J. Back and J. von Wright.
- In: Information processing letters, ISSN 0020-0190, 53 (1995) s. 165-172.

13. Wright, Joakim von / Institutionen för informationsbehandling
  TkWinHOL : a tool for doing Window inference in HOL / T. Långbacka, R. Ruksenas and J. von Wright.
- In: Higher order logic theorem proving and its applications : 8th international workshop, Aspen Grove, UT, September 11-14, 1995 : proceedings / edited by E. T. Schubert...[et al.]. - New York : Springer-Verlag, 1995, s. 245-260. - (Lecture note in computer science ; vol 971).
ISBN 3-540-60275-5