@inproceedings{4276576,
Author = {Stirling, C.},
BookTitle = {Logic in Computer Science, 2007. LICS 2007. 22nd Annual IEEE Symposium on},
File = {Higher-Order Matching, Games and Automata - Stirling (0) (0) - a - a - f.pdf},
ISSN = {1043-6871},
Keywords = {higher-order matching and tree automata},
Month = {july},
Pages = {326 -335},
Title = {Higher-Order Matching, Games and Automata},
Year = {2007},
bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2007.23},
date-added = {2013-02-19 17:02:16 +0000},
date-modified = {2013-02-19 17:06:19 +0000},
doi = {10.1109/LICS.2007.23}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A