Search

Collections:

Format:

Publication Type:

  • 93
  • 70
  • 16
  • 16
  • 12

Lab:

  • 203
  • 5
  • 4
  • 1
  • 1
  • 1
  • 1

Publication Year:

  • 12
  • 6
  • 16
  • 9
  • 16
  • 19
  • 15
show all

Journal:

  • 8
  • 3
  • 2
  • 2
  • 2
  • 1
  • 1
show all

Publication Type:

  • 93
  • 70
  • 16
  • 16
  • 12

Lab:

  • 203
  • 5
  • 4
  • 1
  • 1
  • 1
  • 1

Publication Year:

  • 12
  • 6
  • 16
  • 9
  • 16
  • 19
  • 15
show all

Journal:

  • 8
  • 3
  • 2
  • 2
  • 2
  • 1
  • 1
show all
Infoscience 207 records found 1 - 10nextlast  jump to record: Search took 0.09 seconds. 
1.
Archive of Formal Proofs (AFP) (2012)
2012 | Journal Articles |
2.
3.
4.
20th International Conference on Automated Deduction, CADE-20 (2005)
2005 | Conference Papers |
5.
6.
7.
8.
Proc. 13th Int. Conf. Verification, Model Checking, and Abstract Interpretation (VMCAI 2012), 267-282 (2012)
2012 | Conference Papers |
9.
10.
Proc. ACM SIGMOD International Conference on Management of Data (2013)
2013 | Conference Papers |

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.