ePrints Repository

Items where Subject is "Q Science > QA Mathematics"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Creators | Type of Work | Date
Jump to: B | G | H | J | L | P | V | W
Number of items at this level: 16.


Butkovic, Peter and Lewis, Seth Charles (2007) On the job rotation problem. Discrete Optimization, 4 (2). pp. 163-174. ISSN 1572-5286

Barwell, Andrew D. and Davies, Gareth and Good, Chris (2012) On the ω-limit sets of tent maps. Fundamenta Mathematicae, 217 (1). pp. 35-54. ISSN 0016-2736


Gaffney, E A and Heath, J K and Kwiatkowska, M Z (2008) A mass action model of a Fibroblast Growth factor signaling pathway and its simplification. Bulletin of mathematical biology, 70 (8). pp. 2229-2263. ISSN 1522-9602


Hill, Gillian and Vickers, Steven (2005) A Language for Configuring Multi-level Specifications. Theoretical Computer Science, 351. pp. 146-166. ISSN 0304-3975


Jung, Achim and Moshier, M.Andrew and Vickers, Steven (2008) Presenting dcpos and dcpo algebras. Electronic Notes in Theoretical Computer Science, 219. pp. 209-229. ISSN 1571-0661


Lange, Christoph and Ion, Patrick and Dimou, Anastasia and Bratsas, Charalampos and Sperber, Wolfram and Kohlhase, Michael and Antoniou, Ioannis (2012) Bringing Mathematics to the Web of Data: the case of the Mathematics subject classification. In: The Semantic Web. Lecture Notes in Computer Science (7295). Springer, pp. 763-777.

Lange, Christoph and Ion, Patrick and Dimou, Anastasia and Bratsas, Charalampos and Corneli, Joseph and Sperber, Wolfram and Kohlhase, Michael and Antoniou, Ioannis (2012) Reimplementing the Mathematics subject Classification (MSC) as a Linked Open Dataset. In: Intelligent Computer Mathematics. LNAI (7362). Springer Verlag, pp. 458-462.


Palmgren, E and Vickers, Steven (2006) Partial Horn logic and cartesian categories. Annals of Pure and Applied Logic, 143 (3). pp. 314-353. ISSN 0168-0072


Vickers, Steven and Townsend, C.F (2004) A Universal Characterization of the Double Powerlocale. Theoretical Computer Science, 316 (1-3). pp. 297-321. ISSN 0304-3975

Vickers, Steven (2004) Entailment systems for stably locally compact locales. Theoretical Computer Science, 316 (1-3). pp. 259-296. ISSN 0304-3975

Vickers, Steven (2005) LOCALIC COMPLETION OF GENERALIZED METRIC SPACES I. Theory and Applications of Categories, 14 (15). pp. 328-356. ISSN 1201 - 561X

Vickers, Steven (2005) Compactness in locales and in formal topology. Annals of Pure and Applied Logic, 137 (1-3). pp. 413-438. ISSN 0168-0072

Vickers, Steven (2007) Sublocales in formal topology. Journal of Symbolic Logic, 72 (2). pp. 463-482. ISSN 0022-4812

Vickers, Steven (2008) A localic theory of lower and upper integrals. Mathematical Logic Quarterly, 54 (4). pp. 109-123. ISSN 0942-5616

Vickers, Steven (2009) The connected Vietoris powerlocale. Topology and its Applications, 156. pp. 1886-1910. ISSN 0166-8641


Welham, Patricia A and Stekel, Dov J (2009) Mathematical model of the Lux luminescence system in the terrestrial bacterium Photorhabdus luminescens. Molecular bioSystems, 5 (1). pp. 68-76. ISSN 1742-2051

This list was generated on Tue Jan 22 18:45:13 2019 GMT.