Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
POPLmark challenge
Results: 11
‹ Prev
1
2
Next ›
#
Item
11
PDF Document
Add to Reading List
Source URL: www.cs.ru.nl
Language: English
- Date: 2010-08-30 07:17:32
Logic in computer science
Formal methods
Automated theorem proving
Proof assistant
Type theory
POPLmark challenge
Twelf
HOL
Matita
Theoretical computer science
Mathematical software
Mathematical logic
‹ Prev
1
2
Next ›
UPDATE