The Library
Browse by Warwick Author
Up a level |
Number of items: 10.
2012
Matthews, Stephen G. and Bukatin, Michael (2012) An intelligent theory of cost for partial metric spaces. In: 5th International Conference on Artificial General Intelligence (AGI), Oxford, UK, 8-11 Dec 2012. Published in: Lecture Notes in Computer Science, 7716 pp. 168-176. ISBN 9783642355059. doi:10.1007/978-3-642-35506-6_18 ISSN 0302-9743.
2009
Bukatin, Michael, Kopperman, Ralph and Matthews, Stephen G. (2009) Partial metric spaces. American Mathematical Monthly, Vol.116 (No.8). pp. 708-718. doi:10.4169/193009709X460831 ISSN 0002-9890.
Kopperman, R. D., Matthews, Stephen G. and Pajoohesh, H. (2009) Completions of partial metrics into value lattices. Topology and its Applications, Vol.156 (No.8). pp. 1534-1544. doi:10.1016/j.topol.2009.01.002 ISSN 0166-8641.
1994
Joy, Mike and Matthews, Stephen G. (1994) Some experiences in teaching functional programming. International Journal of Mathematical Education in Science and Technology, Volume 25 (Number 2). pp. 165-172. doi:10.1080/0020739940250202 ISSN 0020-739X.
1992
Matthews, Stephen G. (1992) The cycle contraction mapping theorem. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Matthews, Stephen G. (1992) The topology of partial metric spaces. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Matthews, Stephen G. (1992) Partial metric spaces. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
1991
Matthews, Stephen G. (1991) Adding second order functions to Kahn data flow. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
1990
Matthews, Stephen G. (1990) Notes on separability in metric sets. Coventry, UK: Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)
1985
Matthews, Stephen G. (1985) Metric domains for completeness. PhD thesis, University of Warwick.
This list was generated on Fri Apr 19 19:06:04 2024 BST.