Arthur Charguéraud
Publications
by date
by topic
by venue
Software
OptiTrust
CFML
TLC
PASL
FormalMetaCoq
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
Home
–
Contact
@InProceedings{krauss-06, author = "Alexander Krauss", title = "Partial Recursive Functions in Higher-Order Logic", year = "2006", volume = "4130", pages = "589--603", editor = "Ulrich Furbach and Natarajan Shankar", publisher = "Springer", series = "LNCS", booktitle = "IJCAR", }