Journal of Applied Logic 7 (1).
BiBTeX,
Link to JAL.
Renate A. Schmidt
Home |
Publications |
Tools |
FM Group |
School |
Man Univ
Last modified: 29 Jan 09
Copyright © 2007--9
Renate A. Schmidt,
School of Computer Science, Man Univ, schmidt@cs.man.ac.uk