Novak Novakovic

According to our database¹, Novak Novakovic authored at least 3 papers between 2008 and 2015.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2015

On the Power of Substitution in the Calculus of Structures.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2015

2011

Sémantique algébrique des ressources pour la logique classique. (Algebraic resource semantics for classical logic).

[BibT_eX]

[DOI]

PhD thesis, 2011

2008

A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in w.r.t. Hybrid TBoxes.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008