A Fragment of ML Decidable by Visibly Pushdown Automata
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
2011
|
| _version_ | 1826293543392509952 |
|---|---|
| author | Hopkins, D Murawski, A Ong, C |
| author_facet | Hopkins, D Murawski, A Ong, C |
| author_sort | Hopkins, D |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T03:31:44Z |
| format | Conference item |
| id | oxford-uuid:baf57757-dbd0-466e-8e53-2dbc822a794a |
| institution | University of Oxford |
| last_indexed | 2024-03-07T03:31:44Z |
| publishDate | 2011 |
| record_format | dspace |
| spelling | oxford-uuid:baf57757-dbd0-466e-8e53-2dbc822a794a2022-03-27T05:13:27ZA Fragment of ML Decidable by Visibly Pushdown AutomataConference itemhttp://purl.org/coar/resource_type/c_5794uuid:baf57757-dbd0-466e-8e53-2dbc822a794aDepartment of Computer Science2011Hopkins, DMurawski, AOng, C |
| spellingShingle | Hopkins, D Murawski, A Ong, C A Fragment of ML Decidable by Visibly Pushdown Automata |
| title | A Fragment of ML Decidable by Visibly Pushdown Automata |
| title_full | A Fragment of ML Decidable by Visibly Pushdown Automata |
| title_fullStr | A Fragment of ML Decidable by Visibly Pushdown Automata |
| title_full_unstemmed | A Fragment of ML Decidable by Visibly Pushdown Automata |
| title_short | A Fragment of ML Decidable by Visibly Pushdown Automata |
| title_sort | fragment of ml decidable by visibly pushdown automata |
| work_keys_str_mv | AT hopkinsd afragmentofmldecidablebyvisiblypushdownautomata AT murawskia afragmentofmldecidablebyvisiblypushdownautomata AT ongc afragmentofmldecidablebyvisiblypushdownautomata AT hopkinsd fragmentofmldecidablebyvisiblypushdownautomata AT murawskia fragmentofmldecidablebyvisiblypushdownautomata AT ongc fragmentofmldecidablebyvisiblypushdownautomata |