Semantics and proof-theory of depth bounded Boolean logics

D'Agostino, Marcello; Finger, Marcelo; GABBAY, Dov M.

doi:10.1016/j.tcs.2013.02.014

Télécharger

Article (Périodiques scientifiques)

Semantics and proof-theory of depth bounded Boolean logics

D'Agostino, Marcello; Finger, Marcelo; GABBAY, Dov M.

2013 • In Theor. Comput. Sci., 480, p. 43--68

Peer reviewed

Permalien
https://hdl.handle.net/10993/26081

DOI
10.1016/j.tcs.2013.02.014

Documents (1)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

file.pdf

Postprint Éditeur (4.35 kB)

Télécharger

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

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Disciplines :

Sciences informatiques

Auteur, co-auteur :

D'Agostino, Marcello

Finger, Marcelo

GABBAY, Dov M. ; 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 :

Semantics and proof-theory of depth bounded Boolean logics

Date de publication/diffusion :

2013

Titre du périodique :

Theor. Comput. Sci.

Volume/Tome :

480

Pagination :

43--68

Peer reviewed :

Peer reviewed

URL complémentaire :

http://dx.doi.org/10.1016/j.tcs.2013.02.014

Disponible sur ORBilu :

depuis le 22 mars 2016

Statistiques

Nombre de vues

60 (dont 0 Unilu)

Nombre de téléchargements

135 (dont 0 Unilu)

Voir plus de statistiques

citations Scopus^®

citations Scopus^®
sans auto-citations

OpenCitations

citations OpenAlex

citations WoS^™