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

More Publications

Affiliation
  1. IST Austria (91)
Peer reviewed
  1. yes (90)
  2. no (9)
Invited
  1. no (99)

Results (99)