Xs are for Trajectory Evaluation‚ Booleans are for Theorem Proving (Extended Version)
| Main Authors: | , , |
|---|---|
| Format: | Report |
| Published: |
Department of Computing Science‚ University of Glasgow
2000
|
| _version_ | 1797089456981803008 |
|---|---|
| author | Aagaard, M Melham, T O'Leary, J |
| author_facet | Aagaard, M Melham, T O'Leary, J |
| author_sort | Aagaard, M |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T03:04:23Z |
| format | Report |
| id | oxford-uuid:b2019581-45f7-4383-a42f-ba16877b1f53 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T03:04:23Z |
| publishDate | 2000 |
| publisher | Department of Computing Science‚ University of Glasgow |
| record_format | dspace |
| spelling | oxford-uuid:b2019581-45f7-4383-a42f-ba16877b1f532022-03-27T04:08:32ZXs are for Trajectory Evaluation‚ Booleans are for Theorem Proving (Extended Version)Reporthttp://purl.org/coar/resource_type/c_93fcuuid:b2019581-45f7-4383-a42f-ba16877b1f53Department of Computer ScienceDepartment of Computing Science‚ University of Glasgow2000Aagaard, MMelham, TO'Leary, J |
| spellingShingle | Aagaard, M Melham, T O'Leary, J Xs are for Trajectory Evaluation‚ Booleans are for Theorem Proving (Extended Version) |
| title | Xs are for Trajectory Evaluation‚ Booleans are for Theorem Proving (Extended Version) |
| title_full | Xs are for Trajectory Evaluation‚ Booleans are for Theorem Proving (Extended Version) |
| title_fullStr | Xs are for Trajectory Evaluation‚ Booleans are for Theorem Proving (Extended Version) |
| title_full_unstemmed | Xs are for Trajectory Evaluation‚ Booleans are for Theorem Proving (Extended Version) |
| title_short | Xs are for Trajectory Evaluation‚ Booleans are for Theorem Proving (Extended Version) |
| title_sort | xs are for trajectory evaluation booleans are for theorem proving extended version |
| work_keys_str_mv | AT aagaardm xsarefortrajectoryevaluationbooleansarefortheoremprovingextendedversion AT melhamt xsarefortrajectoryevaluationbooleansarefortheoremprovingextendedversion AT olearyj xsarefortrajectoryevaluationbooleansarefortheoremprovingextendedversion |