Previous
Next
Journal
- lecture notes in computer science13
- journal of automated reasoning6
- applied optics3
- procedia computer science3
- interactive theorem proving (9783319089690)2
- interactive theorem proving : 5th international conference, itp 2014, held as part of the vienna summer of logic, vsl 2014, vienna, austria, july 14-17, 2014. proceedings2
- acm / sigplan notices1
- acm sigplan notices1
- algebra & coalgebra in computer science (9783642402050)1