Line 7: | Line 7: | ||
---- | ---- | ||
== Publications == | == Publications == | ||
− | [[ | + | [[Media:Guller.pdf|frame|200px]] |
Revision as of 16:32, 10 October 2015
Computational Logic and Algebra Group
Dušan Guller
Ivor Uhliarik
Line 7: | Line 7: | ||
---- | ---- | ||
== Publications == | == Publications == | ||
− | [[ | + | [[Media:Guller.pdf|frame|200px]] |
Dušan Guller
Ivor Uhliarik