University of Sussex
Browse

File(s) not publicly available

Reasoning about Idealized Algol Using Regular Languages.

presentation
posted on 2023-06-08, 00:46 authored by Dan R Ghica, Guy McCusker
No description supplied

History

Publication status

  • Published

Publisher

Twenty-Seveth International Colloquium on Automata Languages and Programming (ICALP 2000). Springer-Verlag Lecture Notes in Computer Science.

Volume

1853

Page range

103-115

Presentation Type

  • paper

Event location

Twenty-Seveth International Colloquium on Automata Languages and Programming (ICALP 2000). Springer-Verlag Lecture Notes in Computer Science.

Event type

conference

Department affiliated with

  • Informatics Publications

Notes

"Winner of ""Best Paper"" award for ICALP 2000."

Full text available

  • No

Peer reviewed?

  • Yes

Legacy Posted Date

2012-02-06

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Keywords

    Uncategorised value

    Licence

    Copyright not evaluated

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC