On relation classes and solution relations [Elektronische Ressource] / André Große

derOn16.RelationonClassesf?randhiller-UnivSolutionGro?eRelationsinDissertationundzurriedricErlangungJenadeserakorenademiscebruarhenakult?tGradesMathematikdoInformatikctorFrerumh-Scnaturaliumersit?t(Dr.vrer.Diplom-Mathematiknat.)Andr?vgeborgelegtamdemFRat1975derJenaFerteidigung:Gutac2004hdester:?en1.letztenProf.4.Dr.agGerdhenWJuliecPr?funghsungRigorosums:2.JuniProf.TDr.derIngotlicAlth?ferVT1.ag2004derarTpoentsmyp.chieyknoeen.wledgemenbtsciationFirstmofassistanceallpresenIallwinouldortlik,eIftocreatingthankHempmpapyIadvisorofProfessorlastGerdhaWencouragemenecuchsungtoforyhisloinspir-bingelectureouldonIComplexitgenerousyofTheory]duringFmgratefulyytimeWasmakinganearsundergraduateasstudenetorandandforamhisobligedexcellenparentysupallervisionand,omvgirlfrienderhadtheforpasthayeenears.thesisWithvhisimpinimitablethankvforervermissionetheandjoinen[thChapterusiasmhneider.heurthermore,inamtrotoducedmmefriendsintheAtourzel-AssotheforeldtheofyresearcashterestingandtheywithoutvhisbsuppForttheirneithertmsuppyIDiplom-thesismnorhthetocurrenytts,thesismwfamilyouldtohamvfriends,ecbtoeenypvingossible.Sabine.SpitecialnotthankseentotheallImvybformerreceiving,andthiscurrenwthacolleaguesefromeenJena,ossible.espfurthereciallyHarald,elHaraldhisHemppel,toJ?rgtRothe,resultsStefanourSctherwGH03arz,inand3ThomasSc.Condten.tsIn1.In.tro.duction.1as2ResultsPreliminaries3.55.2.1.W.ords.and.Languages..........Classes.3.6.42...3.8.................................F5.2.2.Tanduring.Macthehines.