Journal article
A Contraction Method to Decide MSO Theories of Deterministic Trees
Actions
Authors
Bibliographic Details
- Journal:
- LICS'07: Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science
- Publication date:
- 2007-01-01
Item Description
- UUID:
-
uuid:4d65507f-7cbd-4e09-a26e-fb91cf390cf2
- Local pid:
- cs:3950
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 2007
If you are the owner of this record, you can report an update to it here: Report update to this record