Informatics Report Series

Report   

EDI-INF-RR-0932

Related Pages
Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index
Home
Title:A game-theoretic approach to deciding higher-order matching
Authors: Colin Stirling
Date:Jul 2006
Publication Title:Procs. of ICALP 2006, Lecture Notes in Computer Science
Publisher:Springer
Publication Type:Conference Paper Publication Status:Published
Volume No:4052 Page Nos:348-359
DOI:10.1007/11787006_30
Abstract:
We sketch a proof using a game-theoretic argument that the higher-order matching problem is decidable
Links To Paper
No links available
Bibtex format
@InProceedings{EDI-INF-RR-0932,
author = { Colin Stirling },
title = {A game-theoretic approach to deciding higher-order matching},
book title = {Procs. of ICALP 2006, Lecture Notes in Computer Science},
publisher = {Springer},
year = 2006,
month = {Jul},
volume = {4052},
pages = {348-359},
doi = {10.1007/11787006_30},
}


Home : Publications : Report 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh