Effective structures and complexity of their isomorphisms Presentation uri icon