资源描述:
《Book - Finite Model Theory and Its Applications 450》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、ErichGrädel•PhokionG.Kolaitis•LeonidLibkinMaartenMarx•JoelSpencer•MosheY.VardiYdeVenema•ScottWeinsteinFiniteModelTheoryandItsApplicationsWith35Figuresand2TablesAuthorsSeriesEditorsErichGrädelProf.Dr.WilfriedBrauerMathematicalFoundationsInstitutfürInformatikderTUMofComputerScienceBol
2、tzmannstr.3RWTHAachen85748Garching,Germanygraedel@informatik.rwth-aachen.debrauer@informatik.tu-muenchen.dePhokionG.KolaitisProf.Dr.JurajHromkoviˇcIBMAlmadenResearchCenterETHZentrumkolaitis@almaden.ibm.comDepartmentofComputerScienceandSwissFederalInstituteofTechnology8092Zürich,Swit
3、zerlandUniv.ofCaliforniaatSantaCruzjuraj.hromkovic@inf.ethz.chkolaitis@cs.ucsc.eduLeonidLibkinProf.Dr.GrzegorzRozenbergUniv.ofEdinburghLeidenInstituteofAdvancedlibkin@inf.ed.ac.ukComputerScienceUniversityofLeidenMaartenMarxNielsBohrweg1ISLA,UniversiteitvanAmsterdam2333CALeiden,TheNe
4、therlandsmarx@science.uva.nlrozenber@liacs.nlJoelSpencerProf.Dr.ArtoSalomaaCourantInstituteTurkuCentreofspencer@cims.nyu.eduComputerScienceMosheY.VardiLemminkäisenkatu14ARiceUniversity20520Turku,Finlandvardi@cs.rice.eduasalomaa@utu.fiYdeVenemaUniversiteitvanAmsterdamyde@science.uva.n
5、lScottWeinsteinUniv.ofPennsylvaniaweinstein@cis.upenn.eduLibraryofCongressControlNumber:2007923182ACMComputingClassification(1998):F.4.1,F.1.3,H.2.3,I.2.4,I.2.8ISSN1862-4499ISBN978-3-540-00428-8SpringerBerlinHeidelbergNewYorkThisworkissubjecttocopyright.Allrightsarereserved,whetherth
6、ewholeorpartofthematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation,broadcasting,reproductiononmicrofilmorinanyotherway,andstorageindatabanks.DuplicationofthispublicationorpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightL
7、awofSeptember9,1965,initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.ViolationsareliableforprosecutionundertheGermanCopyrightLaw.SpringerisapartofSpringerScience+BusinessMediaspringer.comcSpringer-VerlagBerlinHeidelberg2007Theuseofgeneraldescriptivenames,regi
8、sterednames,tradema