Informatics Report Series

Report   

EDI-INF-RR-0550

Related Pages
Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index
Home
Title:Higher-order matching and games
Authors: Colin Stirling
Date:Sep 2005
Publication Title:Proceedings of CSL 2005 (Conference for Computer Science Logic)
Publisher:Springer
Publication Type:Conference Paper Publication Status:Published
Volume No:3634 Page Nos:119-134
Links To Paper
No links available
Bibtex format
@InProceedings{EDI-INF-RR-0550,
author = { Colin Stirling },
title = {Higher-order matching and games},
book title = {Proceedings of CSL 2005 (Conference for Computer Science Logic)},
publisher = {Springer},
year = 2005,
month = {Sep},
volume = {3634},
pages = {119-134},
}


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