Retour
  1. Accueil
  3. Référence détaillée
Télécharger
Eprint diffusé à l'origine sur un autre site (E-prints, Working papers et Carnets de recherche)
On Reductions of Hintikka Sets for Higher-Order Logic
STEEN, Alexander; BENZMÜLLER, Christoph
2020
Permalien
https://hdl.handle.net/10993/43235
 

Documents (1)Envoyer versDétailsStatistiquesBibliographiePublications similaires

Documents

Texte intégral
2004.07506.pdf
Postprint Éditeur (218.54 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 :
Abstract Consistency; Semantics; Higher-Order Logic
Disciplines :
Sciences informatiques
Auteur, co-auteur :
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)
Langue du document :
Anglais
Titre :
On Reductions of Hintikka Sets for Higher-Order Logic
Date de publication/diffusion :
avril 2020
Maison d'édition :
arXiv
Nombre de pages :
9
Source :
https://arxiv.org/abs/2004.07506
URL complémentaire :
https://arxiv.org/abs/2004.07506
Disponible sur ORBilu :
depuis le 21 mai 2020

Statistiques

Nombre de vues
210 (dont 2 Unilu)
Nombre de téléchargements
54 (dont 0 Unilu)
Voir plus de statistiques

Bibliographie

Publications similaires


Contacter ORBilu