Hirsch, Colin 1975-
VIAF ID: 52619614 ( Personal )
Permalink: http://viaf.org/viaf/52619614
Preferred Forms
- 100 1 _ ‡a Hirsch, Colin ‡d 1975-
- 100 1 _ ‡a Hirsch, Colin ‡d 1975-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Guarded logics: algorithms and bisimulation | |
A Tableau Algorithm for the Clique Guarded Fragment Preliminary Version |