Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

Browse by Warwick Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Official Date | Item Type | Funder | No Grouping
Jump to: 2012 | 2009 | 1994 | 1992 | 1991 | 1990 | 1985
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 Tue Feb 7 01:27:42 2023 GMT.
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us