Entanglement - A measure for the complexity of directed graphs with applications to logic and games

Berwanger, Dietmar; Grädel, Erich

Berlin [u.a.] : Springer (2005)
Contribution to a book, Contribution to a conference proceedings

In: Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005 ; proceedings / Franz Baader ... (eds.)
Page(s)/Article-Nr.: 209-223