Difference between revisions of "CLA Group"
| Line 7: | Line 7: | ||
---- | ---- | ||
== DBLP Publications == | == DBLP Publications == | ||
| + | <div> | ||
[[File:Guller1.pdf|caption|page=1]] | [[File:Guller1.pdf|caption|page=1]] | ||
[[Media:Guller2.pdf]] | [[Media:Guller2.pdf]] | ||
[[Media:Guller3.pdf]] | [[Media:Guller3.pdf]] | ||
| + | <\div> | ||
Revision as of 17:05, 10 October 2015
Computational Logic and Algebra Group
Dušan Guller
Ivor Uhliarik