J. C. Bradfield
5 published titles
A dictionary of Quenya : and of Proto-Eldarin, with an index
1 edition
A dictionary of Quenya : and Proto-Eldarin and Ante-Quenya : with an index
1 edition
A proof assistant for symbolic model-checking
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
An effective tableau system for the linear time mu-calculus
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1995
- Details
Computer science logic : 16th International Workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings
(Contributor)
1 edition
- ISBN: 3540442405
- Springer
- 2002
- Details
