HOW TO WIN A GAME WITH FEATURES

Citation
R. Backofen et R. Treinen, HOW TO WIN A GAME WITH FEATURES, Information and computation, 142(1), 1998, pp. 76-101
Citations number
25
Categorie Soggetti
Mathematics,"Computer Science Information Systems",Mathematics,"Computer Science Information Systems
Journal title
ISSN journal
08905401
Volume
142
Issue
1
Year of publication
1998
Pages
76 - 101
Database
ISI
SICI code
0890-5401(1998)142:1<76:HTWAGW>2.0.ZU;2-X
Abstract
We employ the model-theoretic method of Ehrenfeucht-Fraisse games to p rove the completeness of the theory CFT, which has been introduced by G. Smolka and R. Treinen (1994, J, Logic Programming 18(3), 229-258) f or describing rational trees in a language of selector functions. The comparison to other techniques used in this field shows that Ehrenfeuc ht-Fraisse Games lead to simpler proofs, (C) 1998 Academic Press.