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) [Buchbeitrag, Beitrag zu einem Tagungsband]

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