Refine Results
Years
  1. 2003 (107)
Publications
  1. Current Biology (3)
  2. European Journal of Neuroscience (3)
  3. Journal of Biological Chemistry (3)
  4. Nature (3)
  5. PNAS (3)

More Publications

Peer reviewed
  1. no (88)
  2. yes (19)
Invited
  1. no (107)

Results (107)

  • On the universal and existential fragments of the mu-calculus
    Conference paper