Synthesis of an efficient tactical theorem prover for the game of go

Authors:
Tristan Cazenave
Affiliations:
LIP6, Université Pierre et Marie Curie
Venue:
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Year:
1998

Partial evaluation in logic programming

Journal of Logic Programming
Partial evaluation and automatic program generation

Partial evaluation and automatic program generation
Tutorial on specialisation of logic programs

PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Tutorial notes on partial evaluation

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Go¨del programming language

The Go¨del programming language

Admissible Moves in Two-Player Games

Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation

Hi-index	0.00