资源描述:
《Topics in the theory of computation外文电子版.pdf》由会员上传分享,免费在线阅读,更多相关内容在应用文档-天天文库。
1、TOPICSINTHETHEORYOFCOMPUTATIONNORTH-HOLLANDMATHEMATICSSTUDIES102AnnalsofDiscreteMathematics(24)GeneralEditor:PeterL.HAMMERRutgersUniversity,NewBrunswick,NJ,U.S.A.AdvisoryEditorsC.BERG6UniversitedeParis,FranceM.A.HARRISON,UniversityofCalifornia,Berkeley,CA,U.S.A.V.KLEE,Univers
2、ityofWashington,Seattle,WA,U.S.A.J-H.VANLINT;CaliforniaInstituteofTechnology,Pasadena,CA,U.S.A.G.-C.ROTA,MassachusettsInstituteofTechnology,Cambridge,MA,U.S.A.NORTH-HOLLAND-AMSTERDAM0NEWYORKOXFORDTOPICSINTHETHEORYOFCOMPUTATIONSelectedPapersoftheInternationalConferenceon'Found
3、ationsofComputationTheory',FCT'83,Borgholm,Sweden,August21-2z1983editedbyMarekKARPlNSKlUniversityofPittsburghandJanVANLEEUWENUniversityofUtrecht1985NORTH-HOLLAND-AMSTERDAMNEWYORK0OXFORD0ElsevierSciencePublishersB.V.,1985Allrightsreserved,Nopartofthispublicationmaybereproduced
4、,storedinaretrievalsystem,ortransmitted,inanyformorbyanymeans,electronic,mechanical,photocopying,recordingorotherwise,withoutthepriorpermissionofthecopyrightowner.ISBN:0444876472Publishers:ELSEVIERSCIENCEPUBLISHERSB.V.P.O.BOX19911000BZAMSTERDAMTHENETHERLANDSSoledistributorsfo
5、rtheU.S.A.andCanada:ELSEVIERSCIENCEPUBLISHINGCOMPANY,INC.52VANDERBILTAVENUENEWYORK,N.Y.10017U.S.A.LibraryofCongressCataloglngInPnbllcationDataInternationalConferenceon”FoundationsofComputationTheory”(1983:Bxgholm,Sweden)TopicsInthetheoryofcomputation.(Annalsofdiscretemathemat
6、ics;24)(Ncrth-Hollandmathematicsstudies;102)1.Computationalcomplexity-Congresses.2.Machinetheory--Congresses.3.Electronicdataprocessing--Mathematics--Congresses.I.Karpifiski,Marek,1948-11.Leewen.3.van(Janvan)111.Title.IV.Series.V.Series:krth-Hol&dmathematicsstudies;102.QA267.
7、1561983511ah-21089ISBN0-444-87647-2(U.S.)PRINTEDINTHENETHERLANDSVPREFACEThisVolumeoftheAnnalsofDiscreteMathematicscontainsnineselectedpaperspresentedattheInternationalConferenceon“FoundationofComputationTheory”heldatBorgholm,Sweden,inAugust21-27,1983.ThefullConference’sProcee
8、dingshaveappearedin:M.Karpinski,ed.,LectureNotesinComputerScience,Vo