Browse by UCL Departments and Centres
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Author | Type
Jump to: C
Number of items: 1.
C
Curzon, P.;
Blandford, A.E.;
(2000)
Reasoning about order errors in interaction.
In: Aagaard, M. and Harrison, J. and Schubert, T., (eds.)
Supplemental proceedings of the 13th international conference on theorem proving in higher order logics (TPHOLs 2000).
(pp. pp. 33-48).
Oregon Graduate Institute: Portland, US.
|
 |
