Items where Subject is "Q Science > QA Mathematics (inc Computing science) > QA 9 Formal systems, logics"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creator's name | Item Type | Date | No Grouping
Number of items at this level: 15.

Article

Barrett, Edd and King, Andy (2012) Range and Set Abstraction using SAT. Electronic Notes in Theoretical Computer Science, 267 (1). pp. 93-107. ISSN 978-3-642-32468-0. (Full text available)
[img]
Preview

Bocchi, Laura and Demangeon, Romain (2013) Embedding Session Types in HML. Electronic Proceedings in Theoretical Computer Science, 137 (1). pp. 53-62. ISSN 2075-2180. (Full text available)
[img]
Preview

Bocchi, Laura and Yang, Weizhen and Yoshida, Nobuko (2014) Timed Multiparty Session Types. Lecture Notes in Computer Science, 8704 (1). pp. 419-434. ISSN 0302-9743. (Full text available)
[img]
Preview

Buchberger, Bruno and Craciun, Adrian and Jebelean, Tudor and Kovacs, Laura and Temur, Kutsia and Koji, Nakagawa and Piroi, Florina and Popov, Nikolaj and Robu, Judit and Rosenkranz, Markus and Windsteiger, Wolfgang (2006) Theorema: Towards computer-aided mathematical theory exploration. Journal of Applied Logic, 4 (4). pp. 470-504. ISSN 1570-8683. (The full text of this publication is not available from this repository)

Delaney, Aidan and Stapleton, Gem and Taylor, John and Thompson, Simon (2014) A normal form for spider diagrams of order. Journal of Visual Languages & Computing . ISSN 1045926X. (In press) (The full text of this publication is not available from this repository)

Kahrs, Stefan (2013) Infinitary rewriting: closure operators, equivalences and models. Acta Informatica, 50 (2). pp. 123-156. ISSN 0001-5903. (The full text of this publication is not available from this repository)

Landes, Jürgen and Williamson, Jon (2013) Objective Bayesianism and the maximum entropy principle. Entropy, 15 (9). pp. 3528-3591. ISSN 1099-4300. (The full text of this publication is not available from this repository)

Morgan, Byron J. T. and Besbeas, Panagiotis (2012) Kalman filter initialization for integrated population modelling. Journal of the Royal Statistical Society: Series C (Applied Statistics), 61 (1). pp. 151-162. ISSN 0035-9254. (The full text of this publication is not available from this repository)

Stapleton, Gem and Howse, John and Thompson, Simon and Taylor, John and Chapman, Peter (2013) On the Completeness of Spider Diagrams Augmented with Constants. Visual Reasoning with Diagrams . pp. 101-133. (Full text available)
[img]
Preview

Book section

Wheeler, Gregory and Williamson, Jon (2011) Evidential probability and objective Bayesian epistemology. In: Bandyopadhyay, Prasanta S. and Forster, Malcolm R., eds. Philosophy of statistics. Handbook of the Philosophy of Science, 7 . Elsevier, pp. 307-331. ISBN 9780444518620. (The full text of this publication is not available from this repository)

Windsteiger, Wolfgang and Buchberger, Bruno and Rosenkranz, Markus (2006) Theorema. In: Wiedijk, Freek, ed. The Seventeen Provers of the World. Lecture Notes in Artificial Intelligence, 3600 . Springer, pp. 96-107. ISBN 9783540307044. (The full text of this publication is not available from this repository)

Conference or workshop item

Avanaki, Mohammad R. N. and Hojjatoleslami, Ali (2009) Speckle Reduction with Attenuation Compensation for Skin OCT Images Enhancement. In: MIUA, 14th-15th July 2009, Kingston University, London. (Unpublished) (Full text available)
[img]
Preview

Thompson, Simon and Delaney, Aidan and Stapleton, Gem and Taylor, John (2014) A Normal Form for Spider Diagrams of Order. In: 2014 International Workshop on Visual Languages and Computing, 27-29 August 2014. (Full text available)
[img]
Preview

Book

Fischer, Michael D. (1994) Applications in Computing for Social Anthropologists. ASA Research Methods Series . Routledge, London (The full text of this publication is not available from this repository)

Internet publication

Boiten, Eerke (2014) It’s possible to write flaw-free software, so why don’t we? . The Conversation UK Internet only. (Full text available)
[img]

This list was generated on Fri Nov 21 18:01:40 2014 GMT.