Refine Results
Publications
  1. Information and Computation (10)
  2. Logical Methods in Computer Science (7)
  3. ACM Transactions on Computational Logic (TOCL) (6)
  4. Journal of Computer and System Sciences (5)
  5. Theoretical Computer Science (5)

More Publications

Affiliation
  1. IST Austria (96)
Peer reviewed
  1. yes (94)
  2. no (2)
Invited
  1. no (96)

Results (96)