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
Identifikationsnummern
- REPORT NUMBER: RWTH-CONV-197722