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