The Complexity of Independence−Friendly Fixpoint Logic

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Bradfield, J, Kreutzer, S
Μορφή: Conference item
Έκδοση: Springer 2005