Results 141 to 150 of about 2,682,535 (254)

Algebraic proof theory for substructural logics: Cut-elimination and completions

open access: yesAnnals of Pure and Applied Logic, 2012
A. Ciabattoni   +2 more
semanticscholar   +1 more source

Syntactic cut-elimination for a fragment of the modal mu-calculus

open access: yesAnnals of Pure and Applied Logic, 2012
Kai Brünnler, T. Studer
semanticscholar   +1 more source

Diagnostic performance of circulating microRNA signatures for differentiating tuberculosis disease from tuberculosis infection. [PDF]

open access: yesMed Microbiol Immunol
Østergaard AA   +12 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy