Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 2.

Thompson, Simon J. and Laemmel, Ralf and Kaiser, Markus (2013) Programming errors in traversal programs over structured data. Science of Computer Programming . ISSN 0167-6423. (In press) (Full text available)

Bowman, Howard and Thompson, Simon J. (1998) A Tableaux Method for Interval Temporal Logic with Projection. In: Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes In Computer Science, 1397 (1397). Springer-Verlag pp. 108-123. ISBN 3-540-64406-7. (Full text available)
[img] [img]

This list was generated on Wed Jun 25 10:17:28 2014 BST.