eCite Digital Repository

Items where Subject is Field of Research, Information and Computing Sciences, Theory of computation, Theory of computation not elsewhere classified

Journal Article
Holmes, WN, Multiplying with quarter squares, The Mathematical Gazette, 87 pp. 296-298. ISSN 0025-5572 (2003) [Refereed Article] 
Kelarev, AV and Sokratova, OV, A class of semisimple automata, Journal of Applied Mathematics and Computing, 8, (1) pp. 1-8. ISSN 1598-5865 (2001) [Refereed Article] 
Kelarev, AV and Sokratova, OV, Directed graphs and syntactic algebras of tree languages, Journal of Automata, Languages and Combinatorics, 6, (3) pp. 305-311. ISSN 1430-189X (2001) [Refereed Article] 
Holmes, WN, The Numerical Dysfunction, The Mathematical Intelligencer, 22, (1) pp. 7-11. ISSN 0343-6993 (2000) [Refereed Article] 
Towers, AJ, An approximation of the N-body Gravitation Problem in J, Vector, 15, (4) pp. 50-58. ISSN 0955-1433 (1999) [Professional, Non Refereed Article] 
Holmes, WN, Some Basic Functions for Composite Arithmetic, Vector, 15, (3) pp. 49-61. ISSN 0955-1433 (1999) [Professional, Non Refereed Article] 
Mason, IA and Smith, SF and Talcott, CL, From Operational Semantics to Domain Theory, Information and Computation, 128, (1) pp. 26-47. ISSN 0890-5401 (1996) [Refereed Article] 
Yarroll, LH, See more through lenses than bananas, Theoretical Computer Science, 169, (1) pp. 113-121. ISSN 0304-3975 (1996) [Refereed Article] 
Mason, IA and Talcott, CL, Reasoning about Object Systems in VTLoE, International Journal of Foundations on Computer Science, 6, (3) pp. 265-298. ISSN 0129-0541 (1995) [Refereed Article] 
Review
Kelarev, AV, On some polynomial GCD algorithms: by Drago Pop (Stud. Univ. Babes-Bolyai Inform.), Mathematical Reviews, 2001, (m) pp. 1. (2001) [Review Single Work] 
Conference Publication
Bulmer, M and Fearnley-Sander, DP and Stokes, TE, The Kinds of Truth of Geometry Theorems, Automated Deduction in Geometry, September 25-27, 2000, Zurich, Switzerland, pp. 129-141. ISBN 3-540-42598-5 (2001) [Refereed Conference Paper] 
Lakos, CA, On the Abstraction of Coloured Petri Nets, Application and Theory of Petri Nets 1997, Toulouse, France, pp. 42-61. (1997) [Refereed Conference Paper] 
Frost, J and Mason, IA, An Operational Logic of Effects, Computing: The Australasian Theory Symposium (CATS'96), Melbourne, pp. 147-158. (1996) [Refereed Conference Paper] 
Thesis
Jethani, M, Cryptography and Data Security (1995) [Masters Coursework] 

This list was generated on Mon Mar 27 02:39:24 2023.