Retour
  1. Accueil
  3. Référence détaillée
Télécharger
Article (Périodiques scientifiques)
System Demonstration: The Higher-Order Prover Leo-III
STEEN, Alexander; BENZMÜLLER, Christoph
2018 • In CEUR Workshop Proceedings, 2095
Peer reviewed vérifié par ORBi
Permalien
https://hdl.handle.net/10993/37463
 

Documents (1)Envoyer versDétailsStatistiquesBibliographiePublications similaires

Documents

Texte intégral
paper5.pdf
Postprint Éditeur (665.61 kB)
Télécharger

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers


Détails


Mots-clés :
Higher Order Logic; Higher Order Modal Logic
Disciplines :
Sciences informatiques
Auteur, co-auteur :
STEEN, Alexander ;  Freie Universität Berlin
BENZMÜLLER, Christoph ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
System Demonstration: The Higher-Order Prover Leo-III
Date de publication/diffusion :
2018
Titre du périodique :
CEUR Workshop Proceedings
eISSN :
1613-0073
Maison d'édition :
RWTH Aachen University, Aachen, Allemagne
Volume/Tome :
2095
Peer reviewed :
Peer reviewed vérifié par ORBi
URL complémentaire :
http://ceur-ws.org/Vol-2095/paper5.pdf
Disponible sur ORBilu :
depuis le 24 novembre 2018

Statistiques

Nombre de vues
98 (dont 14 Unilu)
Nombre de téléchargements
57 (dont 0 Unilu)
Voir plus de statistiques
citations Scopus®
 
0
citations Scopus®
sans auto-citations
0

Bibliographie

Publications similaires


Contacter ORBilu