Challenges in Higher-Order Theorem Proving

Steen, Alexander

No full text

Article for a general audience (Diverse speeches and writings)

Challenges in Higher-Order Theorem Proving

Steen, Alexander

2019

Permalink
https://hdl.handle.net/10993/40371

Files (0)Send to Details Statistics Bibliography Similar publications

Files

Full Text

No document available.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Author, co-author :

Steen, Alexander ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)

Language :

English

Title :

Challenges in Higher-Order Theorem Proving

Publication date :

July 2019

Journal title :

Association for Automated Reasoning, Newsletter

Volume :

128

Additional URL :

http://aarinc.org/Newsletters/128-2019-07.html#guest

Commentary :

Guest column in the AAR newsletter.

Available on ORBilu :

since 15 September 2019

Statistics

Number of views

50 (6 by Unilu)

Number of downloads

0 (0 by Unilu)

More statistics