Search the dblp DataBase

Publications of Author

1. Muffy Thomas
   The Storage and Access Structure of Algebraically Specified Data Types. [Citation Graph (0, 0)][DBLP]
   ADT, 1986, pp:- [Conf]
   
2. Muffy Thomas
   Towards a Termination Ordering for Loop Programs. [Citation Graph (0, 0)][DBLP]
   ADT, 1988, pp:- [Conf]
   
3. Muffy Thomas, Klaus P. Jantke
   Inductive Inference for Solving Divergence in Knuth-Bendix Completion. [Citation Graph (0, 0)][DBLP]
   AII, 1989, pp:288-303 [Conf]
   
4. Carron Shankland, Muffy Thomas
   Symbolic Bisimulation for Full LOTOS. [Citation Graph (0, 0)][DBLP]
   AMAST, 1997, pp:479-493 [Conf]
   
5. Muffy Thomas, Phil Watson
   Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. [Citation Graph (0, 0)][DBLP]
   AMAST, 1991, pp:377-390 [Conf]
   
6. Muffy Thomas
   From 1 Notation to Another One: An ACT-ONE Semantics for ASN.1. [Citation Graph (0, 0)][DBLP]
   FORTE, 1989, pp:517-531 [Conf]
   
7. Muffy Thomas
   A translator for ASN.1 into LOTOS. [Citation Graph (0, 0)][DBLP]
   FORTE, 1992, pp:37-52 [Conf]
   
8. Muffy Thomas
   Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language. [Citation Graph (0, 0)][DBLP]
   TAPSOFT, Vol.2, 1987, pp:197-211 [Conf]
   
9. J. Stuart Aitken, Philip D. Gray, Thomas F. Melham, Muffy Thomas
   Interactive Theorem Proving: An Empirical Study of User Activity. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1998, v:25, n:2, pp:263-284 [Journal]
   
10. Muffy Thomas, Phil Watson
    Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:112, n:1, pp:145-185 [Journal]