Back
  1. Home
  3. Detailled Reference
Download
Eprint already available on another site (E-prints, Working papers and Research blog)
Extensional Higher-Order Paramodulation in Leo-III
Steen, Alexander; Benzmüller, Christoph
2019
Permalink
https://hdl.handle.net/10993/40691
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
1907.11501.pdf
Publisher postprint (987.69 kB)
Download

All documents in ORBilu are protected by a user license.

Send to


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)
Benzmüller, Christoph ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
Extensional Higher-Order Paramodulation in Leo-III
Publication date :
2019
Publisher :
arXiv
Number of pages :
34
Source :
https://arxiv.org/abs/1907.11501
Additional URL :
https://arxiv.org/abs/1907.11501
Commentary :
Submitted article.
Available on ORBilu :
since 16 October 2019

Statistics

Number of views
46 (4 by Unilu)
Number of downloads
101 (0 by Unilu)
More statistics

Bibliography

Similar publications


Contact ORBilu