References of "Finger, Marcelo"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailSemantics and proof-theory of depth bounded Boolean logics
D'Agostino, Marcello; Finger, Marcelo; Gabbay, Dov M. UL

in Theor. Comput. Sci. (2013), 480

Detailed reference viewed: 69 (0 UL)