|
|||
|
|||
|
|
||
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 | |||
|
Please mail <reports@inf.ed.ac.uk> with any
changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh |
![]() |