Search results for: Tatjana Lutovac
Results in Mathematics > 2018 > 73 > 3 > 1-15
Journal of Inequalities and Applications > 2018 > 2018 > 1 > 1-10
Advances in Difference Equations > 2018 > 2018 > 1 > 1-15
Journal of Inequalities and Applications > 2017 > 2017 > 1 > 1-9
Journal of Inequalities and Applications > 2017 > 2017 > 1 > 1-16
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Logic Programming: Theory and Extensions > 254-268
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 185-200
Electronic Notes in Theoretical Computer Science > 2005 > 125 > 2 > 115-147