Difference between revisions of "CLA Group"
| Line 7: | Line 7: | ||
---- | ---- | ||
== Publications == | == Publications == | ||
| − | [[File:Guller1.pdf|border| | + | [[File:Guller1.pdf|border|caption]] |
[[File:Guller2.pdf|Guller2.pdf]] | [[File:Guller2.pdf|Guller2.pdf]] | ||
[[File:Guller3.pdf|Guller3.pdf]] | [[File:Guller3.pdf|Guller3.pdf]] | ||
Revision as of 15:56, 10 October 2015
Computational Logic and Algebra Group
Dušan Guller
Ivor Uhliarik