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

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)

Preview

Bowman, H. 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.

Preview

This list was generated on Thu May 23 11:11:12 2013 BST.