View source for CLA Group You do not have permission to edit this page, for the following reasons: The action you have requested is limited to users in the group: Users. The action you have requested is limited to users in the group: Users. You can view and copy the source of this page. == Computational Logic and Algebra Group == ---- ---- [dai.fmph.uniba.sk/~guller Dušan Guller] ---- Ivor Uhliarik ---- == DBLP Publications == [[File:Guller11.jpg|500px]] Return to CLA Group. ← CLA Group
