Difference between revisions of "CLA Group"
Line 8: | Line 8: | ||
== DBLP Publications == | == DBLP Publications == | ||
− | [[File:Guller1.jpg]] | + | [[File:Guller1.jpg|100px]] |
Revision as of 17:21, 10 October 2015
Computational Logic and Algebra Group
Dušan Guller
Ivor Uhliarik