The Higher-Order Prover Leo-III

Steen, Alexander

No full text

Scientific presentation in universities or research centers (Scientific presentations in universities or research centers)

The Higher-Order Prover Leo-III

Steen, Alexander

2019

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

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 :

The Higher-Order Prover Leo-III

Publication date :

26 April 2019

Event name :

Invited talk

Event organizer :

SRI International, AI Center

Event place :

Menlo Park, CA, United States

Event date :

2019-04-26

Audience :

International

Additional URL :

10.1007/978-3-319-94205-6_8

Available on ORBilu :

since 29 January 2020

Statistics

Number of views

27 (2 by Unilu)

Number of downloads

0 (0 by Unilu)

More statistics

OpenCitations

WoS citations^™