A Game Semantics Foundation for Logic Programming (Extended Abstract)

Authors:
Roberto Di Cosmo;Jean-Vincent Loddo;Stephane Nicolet
Affiliations:
-;-;-
Venue:
PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming
Year:
1998

Citing 0
Cited 3

Towards Ludics Programming: Interactive Proof Search

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Playing logic programs with the alpha-beta algorithm

LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Spatial and temporal aspects in visual interaction

Journal of Visual Languages and Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract