Foundations of Proof Search Strategies Design in Linear Logic.

Didier Galmiche Guy Perrier

Published in: LFCS (1994)

Keyphrases

search strategies
linear logic
search strategy
search algorithm
artificial intelligence
evolutionary algorithm
heuristic search
constraint programming
dynamic programming
constraint satisfaction problems
retrieval effectiveness
search procedure
sequent calculus