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]] Return to CLA Group. ← CLA Group
