Browse by Journal

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 4.


Mackie, Ian (2018) Linear numeral systems. Journal of Automated Reasoning. ISSN 0168-7433

Reus, Bernhard, Charlton, Nathaniel and Horsfall, Ben (2015) Symbolic execution proofs for higher order store programs. Journal of Automated Reasoning, 54 (3). pp. 199-284. ISSN 0168-7433

Riely, James and Hennessy, Matthew (2003) Trust and partial typing in open systems of mobile agents. Journal of Automated Reasoning, 31 (3-4). pp. 335-370. ISSN 0168-7433

Reus, Bernhard (1999) Formalizing synthetic domain theory - the basic definitions. Journal of Automated Reasoning, 23 (3-4). pp. 411-444. ISSN 01687433

This list was generated on Wed Jul 15 10:30:25 2020 BST.