Higher-Order Theorem Proving and its Applications

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

Co-auteurs externes :

Langue du document :

Anglais

Titre :

Higher-Order Theorem Proving and its Applications

Date de publication/diffusion :

août 2019

Titre du périodique :

IT-Information Technology

ISSN :

2196-7032

Maison d'édition :

De Gruyter, Berlin, Allemagne

Volume/Tome :

Fascicule/Saison :

Pagination :

187-191

Peer reviewed :

Peer reviewed vérifié par ORBi

URL complémentaire :

https://www.degruyter.com/view/j/itit.ahead-of-print/itit-2019-0001/itit-2019-0001.xml

Disponible sur ORBilu :

depuis le 05 septembre 2019

Statistiques

Nombre de vues

144 (dont 2 Unilu)

Nombre de téléchargements

0 (dont 0 Unilu)

Voir plus de statistiques

citations Scopus^®

citations Scopus^®
sans auto-citations

OpenCitations

citations OpenAlex

citations WoS^™