Difference between revisions of "CLA Group"
| Line 8: | Line 8: | ||
== Publications == | == Publications == | ||
[[File:Guller1.pdf]] | [[File:Guller1.pdf]] | ||
| + | [[File:Guller2.pdf]] | ||
| + | [[File:Guller3.pdf]] | ||
Revision as of 16:52, 10 October 2015
Computational Logic and Algebra Group
Dušan Guller
Ivor Uhliarik