Line 8: | Line 8: | ||
== DBLP Publications == | == DBLP Publications == | ||
− | [[File:Guller1. | + | [[File:Guller1.jpg]] |
− | + | ||
[[Media:Guller2.pdf]] | [[Media:Guller2.pdf]] | ||
[[Media:Guller3.pdf]] | [[Media:Guller3.pdf]] |
Revision as of 17:17, 10 October 2015
Computational Logic and Algebra Group
Dušan Guller
Ivor Uhliarik