dblp.uni-trier.dewww.uni-trier.de

Alexander Bunkenburg Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
6EEJoseph M. Morris, Alexander Bunkenburg, Malcolm Tyrrell: Term transformers: A new approach to state. ACM Trans. Program. Lang. Syst. 31(4): (2009)
2002
5EEJoseph M. Morris, Alexander Bunkenburg: A source of inconsistency in theories of nondeterministic functions. Sci. Comput. Program. 43(1): 77-89 (2002)
2001
4EEJoseph M. Morris, Alexander Bunkenburg: A theory of bunches. Acta Inf. 37(8): 541-561 (2001)
1999
3EEJoseph M. Morris, Alexander Bunkenburg: Specificational functions. ACM Trans. Program. Lang. Syst. 21(3): 677-701 (1999)
2 Joseph M. Morris, Alexander Bunkenburg: A Logic for Reasoning Equationally in the Presence of Partiality. Sci. Comput. Program. 34(2): 141-158 (1999)
1998
1 Joseph M. Morris, Alexander Bunkenburg: Partiality and Nondeterminacy in Program Proofs. Formal Asp. Comput. 10(1): 76-96 (1998)

Coauthor Index

1Joseph M. Morris [1] [2] [3] [4] [5] [6]
2Malcolm Tyrrell [6]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)