Outcome of patients with atrial fibrillation after intravenous thrombolysis for cerebral ischaemia V Padjen, M Bodenant, DR Jovanovic, N Ponchelle-Dequatre, ...
Journal of neurology 260 (12), 3049-3054, 2013
33 2013 On the power of substitution in the calculus of structures N Novaković, L Straßburger
ACM Transactions on Computational Logic (TOCL) 16 (3), 1-20, 2015
7 2015 A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in w.r.t. Hybrid TBoxes N Novaković
European Workshop on Logics in Artificial Intelligence, 311-323, 2008
7 2008 A Proof-Theoretic Subsumption Reasoner for Hybrid SC-TBoxes F Baader, N Novakovic, B Suntisrivaraporn
4 2008 Sémantique algébrique des ressources pour la logique classique N Novakovic
Institut National Polytechnique de Lorraine, 2011
3 2011 Two Denotational Interpretations of Proofs in Classical Logic F Lamarche, N Novakovic
Structures and Deduction, 117-133, 2009
2 2009 On the Power of Substitution in the Calculus of Structures L Straßburger, N Novakovic
ACM Transactions on Computational Logic 16 (3), 2015
2015 Frobenius Algebras and Classical Proof Nets F Lamarche, N Novakovic
Fifth International Conference on Topology, Algebra and Categories in Logic …, 2011
2011 Proof-theoretic Techniques for Standard and Non-standard Inference Services in cL wrt Hybrid TBoxes F Baader, N Novakovic
Frobenius Proof Nets and Resource Semantics for Classical Logic N Novakovic, F Lamarche