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 | | |