MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Colin Stirling" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 32 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Model Checking and Other Games  
  • by Colin Stirling — 1996 — Notes for Mathfit Instructural Meeting on Games and Computation
  • …Model Checking and Other Games Colin Stirling Department of Computer Science University…
  • Cited by 7 (0 self) – Add To MetaCart
  • Deciding DPDA Equivalence is Primitive Recursive  
  • by Colin Stirling — 2002 — In Proceedings 29th Colloqium on Automata, Languages and Programming, number 2380 in Lecture Notes in Computer Science
  • …Deciding DPDA Equivalence is Primitive Recursive Colin Stirling Division of Informatics University…
  • Cited by 7 (0 self) – Add To MetaCart
  • Games and Modal Mu-Calculus  
  • by Colin Stirling — 1996 — In Second International Workshop Tools and Algorithms for Construction and Analysis of Systems
  • …Games and Modal Mu-Calculus Colin Stirling ABSTRACT We define Ehrenfeucht-Fraiss'e games which…
  • Cited by 7 (1 self) – Add To MetaCart
  • Dependency Tree Automata  
  • by Colin Stirling
  • …Dependency Tree Automata Colin Stirling School of Informatics Informatics Forum University…
  • Add To MetaCart
  • DECIDABILITY OF HIGHER-ORDER MATCHING  
  • by Colin Stirling
  • …-0 DECIDABILITY OF HIGHER-ORDER MATCHING COLIN STIRLING School of Informatics, University of Edinburgh, Edinburgh…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB