Publication Search Results
Matches for:
- Author=Walters RFC
1. Bush MR, Leeming M, Walters RFC. Computing left Kan extensions, Journal of Symbolic Computation, 35 (2003), 107–126. 2004a:18001
2. Katis P, Sabadini N, Walters RFC. Feedback, trace and fixed-point semantics, Theoretical Informatics and Applications, 36 (2002), 181–194. 2003k:68071
3. Katis P, Walters RFC. The compact closed bicategory of left adjoints, Mathematical Proceedings of the Cambridge Philosophical Society, 130 (2001), 77–87. 2001i:18014
4. Katis P, Sabadini N, Walters RFC. On the algebra of feedback and systems with boundary, Rendiconti del Circolo Matematico di Palermo. (2) Supplemento, 64 (2000), 123–156. 2002h:93003
5. Rosebrugh R, Sabadini N, Walters RFC. Minimal Realization in bicategories of automata, Mathematical Structures in Computer Science, 8 (1998), no. 2, 93–116. 2000b:68134
6. Katis P, Sabadini N, Walters RFC. Bicategories of processes, Journal of Pure and Applied Algebra, 115 (1997), 141–178. 97m:18010
7. Katis P, Sabadini N, Walters RFC. Span(Graph): A categorical algebra of transition systems, Algebraic Methodology and Software Technology, AMAST '97, Michael Johnson (ed.), Lecture Notes in Computer Science, Springer, Germany, (1997), 307–321. ISBN 3-540-63888-1
8. Katis P, Sabadini N, Walters RFC. Representing place/transition nets in Span(Graph), Algebraic Methodology and Software Technology, AMAST '97, Michael Johnson (ed.), Lecture Notes in Computer Science, Springer, Germany, (1997), 322–336. ISBN 3-540-63888-1
9. Bloom SL, Sabadini N, Walters RFC. Matrices, machines and behaviors, Applied Categorical Structures, 4 (1996), 343–360. 98a:68049
10. Sabadini N, Vigna S, Walters RFC. A note on recursive functions, Mathematical Structures in Computer Science, 6 (1996), 127–139. 97e:03061
11. Carmody S, Leeming M, Walters RFC. The Todd-Coxeter procedure and left Kan extensions, Journal of Symbolic Computation, 19 (1995), 459–488. 96i:18001
12. Leeming M, Walters RFC. A new application of the Todd-Coxeter procedure: computing left adjoints of algebraic functors, Computational Algebra and Number Theory, Bosma W, van der Poorten A (eds.), Mathematics and its Applications, 325 Kluwer, Dordrecht, (1995), 53–73. ISBN 07923 3501 5 MR1344921
13. Wagner E, Khalil W, Walters RFC. Fix-point semantics for programs in distributive categories, Fundamenta Informaticae, 22 (1995), 187–202. 96i:68052
14. Mauri G, Sabadini N, Shammah S, Walters RFC. Distributive automata, Asynchronous automata and Petri nets, , Workshop on algebraic and syntactic aspects of concurrency, ASMICS project, Chantilly LITP 95/48, 325 (1995), 53–73. MR1344921
15. Sun SH, Walters RFC. Representations of modules and Cauchy completeness, Cahiers de Topologie et Géométrie Différentielle Catégoriques, XXXV3 (1994), 263–269. 95k:18003
16. Sabadini N, Weld H, Walters RFC. Categories of asynchronous circuits, Computing: Australian Theory Seminar, UTS, Sydney, 1994, (1994), 158–188.
17. Katis P, Sabadini N, Walters RFC. The bicategory of circuits, Computing: Australian Theory Seminar, UTS, Sydney, 1994, (1994), MR1382445
18. Islam A, Sabadini N, Walters RFC. Extensive categories, and progress properties in concurrency, Computing: Australian Theory Seminar, UTS, Sydney, 1994, (1994), MR1382445
19. Carboni A, Lack S, Walters RFC. Introduction to extensive and distributive categories, Journal of Pure and Applied Algebra, 84 (1993), 145–158. 93k:18004
20. Sabadini N, Vigna S, Walters RFC. A notion of refinement for automata, , Algebraic Methodology and Software Technology 1993, Nivat M, Rattray C, Rus T, Scollo G eds (eds.), Workshops in computing, Springer Verlag, (1993), 327–334.
21. Kelly GM, Lack S, Walters RFC. Coinverters and categories of fractions for categories with structure, Applied Categorical Structures, 1 (1993), 95–102. 94k:18012
22. Khalil W, Walters RFC. An imperative language based on distributive categories II, Theoretical Informatics and Applications, 27 (1993), 503–522. 94k:68113
23. Walters RFC. An imperative language based on distributive categories, Mathematical Structures in Computer Science, 2 (1992), 249–256. 93g:68011
24. Walters RFC. Categories and Computer Science, Cambridge University Press, (1992),
25. Johnson MS, Walters RFC. Algebra objects and algebra families for finite limit theories, Journal of Pure and Applied Algebra, 83 (1992), 283–293. 94d:18003
26. Johnson MS, Walters RFC. Category theoretic modelling of digital circuits and systems, , Pan-Commonwealth conference on mathematical modelling in circuit designs, Kandy, Sri Lanka, May 1992, Commonwealth Science Council, (1992), MR1194840
27. Walters RFC, Carmody S. Computing quotients of actions of a free category, , Lecture Notes in Mathematics, 1448 Springer, Berlin, (1991), 63–78. MR1173005
28. Walters RFC. Categories and Computer Science, Carslaw Publications, Sydney, (1991), MR1204658
29. Kasangian S, Walters RFC. The duality between flow charts and circuits, Bulletin of the Australian Mathematical Society, 42 (1990), 71–79. 91j:68033
30. Betti R, Walters RFC. The calculus of ends over a base topos, Journal of Pure and Applied Algebra, 56 (1989), 211–220. 90f:18008
31. Walters RFC. Datatypes in distributive categories, Bulletin of the Australian Mathematical Society, 40 (1989), 79–82. 90j:68030
32. Walters RFC. A note on context-free languages, Journal of Pure and Applied Algebra, 62 (1989), 199–203. 91e:68094
33. Walters RFC. The free category with products on a multigraph, Journal of Pure and Applied Algebra, 62 (1989), 205–210. 91a:18003
34. Walters RFC, Wehrhahn KH. Calculus I, Second Edition, revised and extended Carslaw Publications, (1989),
35. Carboni A, Kasangian S, Walters RFC. An axiomatics for bicategories of modules, Journal of Pure and Applied Algebra, 45 (1987), 127–141. 88c:18002
36. Betti R, Walters RFC. Completeness of locally-internal categories, Journal of Pure and Applied Algebra, 47 (1987), 105–117. 88i:18005
37. Carboni A, Walters RFC. Cartesian bicategories I, A calculus of relations, additive relations, and order ideals, Journal of Pure and Applied Algebra, 49 (1987), 11–32. 88k:18009
38. Johnson M, Walters RFC. On the nerve of an \(n\)-category, Cahiers de Topologie et Géométrie Différentielle Catégoriques, 28 (1987), 257–282. 89e:18014
39. Walters RFC, Wehrhahn KH. Calculus I, Carslaw Publications, (1987),
40. Walters RFC, Wehrhahn KH. Calculus I: Curves and Functions, Carslaw Publications, (1986),
41. Walters RFC, Wehrhahn KH. Calculus I: Integration, Carslaw Publications, (1986),
42. Walters RFC. Number Theory: an Introduction, Carslaw Publications, (1986),
43. Betti R, Carboni A, Street RH, Walters RFC. Variation through enrichment, Journal of Pure and Applied Algebra, 29 (1983), 109–127. 85e:18005
44. Walters RFC. Sheaves on sites as Cauchy complete categories, Journal of Pure and Applied Algebra, 24 (1982), 95–102. 83e:18006
45. Betti R, Walters RFC. The symmetry of the Cauchy-completion of a category, , Lecture notes in Mathematics, 962 Springer, (1982), 8–12. MR0682938
46. Walters RFC. Sheaves and Cauchy-complete categories, Cahiers de Topologie et Géométrie Différentielle Catégoriques, 22 (1981), 282–286.
47. Street RH, Walters RFC. Yoneda structures on 2-categories, Journal of Algebra, 50 (1978), 350–379. 57:3214
48. Street RH, Walters RFC. Comprehensive factorization of a functor, Bulletin of the American Mathematical Society, 79 (1973), 936–941. 49:10753
49. Walters RFC. A categorical approach to universal algebra, , Lecture Notes in Mathematics, 106 Springer, (1971),
50. Matthews KR, Walters RFC. Some properties of the continued fraction expansion of, Mathematical Proceedings of the Cambridge Philosophical Society, 67 (1970), 67–74. MR0252889
| Number of matches: 51 | Page 1 of 2 | Select page: 1 2 |