Travelled to:
1 × Italy
Collaborated with:
R.D.Cosmo J.Loddo
Talks about:
program (1) foundat (1) semant (1) logic (1) game (1)
Person: Stephane Nicolet
DBLP: Nicolet:Stephane
Contributed to:
Wrote 1 papers:
- ALP-PLILP-1998-CosmoLN #game studies #logic programming #semantics
- A Game Semantics Foundation for Logic Programming (RDC, JVL, SN), pp. 355–373.