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

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