default search action

• combined dblp search
• author search
• venue search
• publication search
• Semantic Scholar search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• MS Academic
• CiteSeerX
• CORE
• Semantic Scholar

GALOP 2005 Home Page

• 
  Dan R. Ghica, Guy McCusker:
  Games for Logic and Programming Languages (GALOP 2005), University of Edinburgh, 2-3 April 2005, The workshop was organized as part of the ETAPS Conference. 2005 [contents]

maintained by at