Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic 0001 |
Abstraction-refinement for game-based model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GALOP@ETAPS ![In: 1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005, pp. 139, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Dan R. Ghica, Guy McCusker (eds.) |
1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
GALOP@ETAPS ![The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | David J. Pym, Eike Ritter |
A games semantics for reductive logic and proof-search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GALOP@ETAPS ![In: 1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005, pp. 107-123, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Guy McCusker, Matthew Wall |
Categorical and game semantics for SCIR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GALOP@ETAPS ![In: 1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005, pp. 157-178, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Andrzej S. Murawski |
Functions with local state: from regularity to undecidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GALOP@ETAPS ![In: 1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005, pp. 124-138, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Pierre Hyvernat |
Synchronous games, simulations and lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GALOP@ETAPS ![In: 1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005, pp. 1-15, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Paul Blain Levy |
Infinite trace equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GALOP@ETAPS ![In: 1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005, pp. 195-209, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Russell Harmer |
Affine strategies in arena games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GALOP@ETAPS ![In: 1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005, pp. 48-60, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Panos Rondogiannis, William W. Wadge |
An infinite-game semantics for negation in logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GALOP@ETAPS ![In: 1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005, pp. 77-91, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Andrea Schalk |
Concrete data structures as games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GALOP@ETAPS ![In: 1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005, pp. 76, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Michel Hirschowitz |
Abstract games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GALOP@ETAPS ![In: 1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005, pp. 61-75, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Stefano Berardi, Thierry Coquand, Susumu Hayashi |
Games with 1-backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GALOP@ETAPS ![In: 1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005, pp. 210-225, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Joaquín Aguado, Michael Mendler |
Constructive semantics for instantaneous reactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GALOP@ETAPS ![In: 1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005, pp. 16-31, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | James Laird |
A game semantics of the asynchronous pi-calculus and its dual. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GALOP@ETAPS ![In: 1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005, pp. 32-47, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Yannick Delbecque |
Information and information flow in game semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GALOP@ETAPS ![In: 1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005, pp. 226-240, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Dale Miller 0001, Alexis Saurin |
A game semantics for proof search: preliminary results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GALOP@ETAPS ![In: 1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005, pp. 92-106, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Benjamin Leperchey |
Time and games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GALOP@ETAPS ![In: 1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005, pp. 179-194, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Andreas Morgenstern, Klaus Schneider 0001 |
A unified model checking framework for the supervisor synthesis problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GALOP@ETAPS ![In: 1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005, pp. 140-156, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Jan Jürjens |
Towards using game semantics for crypto protocol verification: Lorenzen games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GALOP@ETAPS ![In: 1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005, pp. 241-257, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|