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 == ---- ---- Dušan Guller ---- Ivor Uhliarik ---- == Publications == [[File:Guller.pdf|frame|200px]] Return to CLA Group. ← CLA Group
