Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "GALOP@ETAPS"( http://dblp.L3S.de/Venues/GALOP@ETAPS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/galop

Publication years (Num. hits)
2005 (19)
Publication types (Num. hits)
inproceedings(18) proceedings(1)
Venues (Conferences, Journals, ...)
GALOP@ETAPS(19)
Authors
Dan R. Ghica(2) Guy McCusker(2) Aleksandar S. Dimovski(1) Alexis Saurin(1) Andrea Schalk(1) Andreas Morgenstern(1) Andrzej S. Murawski(1) Benjamin Leperchey(1) Dale Miller 0001(1) David J. Pym(1) Eike Ritter(1) James Laird(1) Jan Jürjens(1) Joaquín Aguado(1) Klaus Schneider 0001(1) Matthew Wall(1) More (+10 of total 28)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 19 publication records. Showing 19 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic 0001 Abstraction-refinement for game-based model checking. Search on Bibsonomy GALOP@ETAPS The full citation details ... 2005 DBLP  BibTeX  RDF
1Dan 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 GALOP@ETAPS The full citation details ... 2005 DBLP  BibTeX  RDF
1David J. Pym, Eike Ritter A games semantics for reductive logic and proof-search. Search on Bibsonomy GALOP@ETAPS The full citation details ... 2005 DBLP  BibTeX  RDF
1Guy McCusker, Matthew Wall Categorical and game semantics for SCIR. Search on Bibsonomy GALOP@ETAPS The full citation details ... 2005 DBLP  BibTeX  RDF
1Andrzej S. Murawski Functions with local state: from regularity to undecidability. Search on Bibsonomy GALOP@ETAPS The full citation details ... 2005 DBLP  BibTeX  RDF
1Pierre Hyvernat Synchronous games, simulations and lambda-calculus. Search on Bibsonomy GALOP@ETAPS The full citation details ... 2005 DBLP  BibTeX  RDF
1Paul Blain Levy Infinite trace equivalence. Search on Bibsonomy GALOP@ETAPS The full citation details ... 2005 DBLP  BibTeX  RDF
1Russell Harmer Affine strategies in arena games. Search on Bibsonomy GALOP@ETAPS The full citation details ... 2005 DBLP  BibTeX  RDF
1Panos Rondogiannis, William W. Wadge An infinite-game semantics for negation in logic programming. Search on Bibsonomy GALOP@ETAPS The full citation details ... 2005 DBLP  BibTeX  RDF
1Andrea Schalk Concrete data structures as games. Search on Bibsonomy GALOP@ETAPS The full citation details ... 2005 DBLP  BibTeX  RDF
1Michel Hirschowitz Abstract games. Search on Bibsonomy GALOP@ETAPS The full citation details ... 2005 DBLP  BibTeX  RDF
1Stefano Berardi, Thierry Coquand, Susumu Hayashi Games with 1-backtracking. Search on Bibsonomy GALOP@ETAPS The full citation details ... 2005 DBLP  BibTeX  RDF
1Joaquín Aguado, Michael Mendler Constructive semantics for instantaneous reactions. Search on Bibsonomy GALOP@ETAPS The full citation details ... 2005 DBLP  BibTeX  RDF
1James Laird A game semantics of the asynchronous pi-calculus and its dual. Search on Bibsonomy GALOP@ETAPS The full citation details ... 2005 DBLP  BibTeX  RDF
1Yannick Delbecque Information and information flow in game semantics. Search on Bibsonomy GALOP@ETAPS The full citation details ... 2005 DBLP  BibTeX  RDF
1Dale Miller 0001, Alexis Saurin A game semantics for proof search: preliminary results. Search on Bibsonomy GALOP@ETAPS The full citation details ... 2005 DBLP  BibTeX  RDF
1Benjamin Leperchey Time and games. Search on Bibsonomy GALOP@ETAPS The full citation details ... 2005 DBLP  BibTeX  RDF
1Andreas Morgenstern, Klaus Schneider 0001 A unified model checking framework for the supervisor synthesis problem. Search on Bibsonomy GALOP@ETAPS The full citation details ... 2005 DBLP  BibTeX  RDF
1Jan Jürjens Towards using game semantics for crypto protocol verification: Lorenzen games. Search on Bibsonomy GALOP@ETAPS The full citation details ... 2005 DBLP  BibTeX  RDF
Displaying result #1 - #19 of 19 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license