Travelled to:
1 × Italy
Collaborated with:
R.D.Cosmo S.Nicolet
Talks about:
program (1) foundat (1) semant (1) logic (1) game (1)
Person: Jean-Vincent Loddo
DBLP: Loddo:Jean=Vincent
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.