menuicon

Research

Follow us_twitter

Publication Search Results

Exact matches for:

  • Author = Leeming M

1. Bush MR, Leeming M, Walters RFC
M R Bush, M Leeming, R F C Walters: Computing left Kan extensions, Journal of Symbolic Computation, 35 (2003), 107–126. 2004a:18001


2. Leeming M, Walters RFC
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


3. Carmody S, Leeming M, Walters RFC
Carmody S, Leeming M, Walters RFC: The Todd-Coxeter procedure and left Kan extensions, Journal of Symbolic Computation, 19 (1995), 459–488. 96i:18001


Number of matches: 3