LEADER 02353nas  2200601-- 450 
001 9910626186303321
005 20230321212014.0
035   $a(CKB)110978977979246
035   $a(CONSER)---80646634-
035   $a(EXLCZ)99110978977979246
100   $a20770207b19751989  ---            a
101 0 $aeng
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAnnual Symposium on Foundations of Computer Science$e[papers]
210   $a[New York]$c[Institute of Electrical and Electronics Engineers]
215   $a1 online resource
311 08$aPrint version: Annual Symposium on Foundations of Computer Science 0272-5428 (DLC)   80646634 (OCoLC)2723515 
517 3 $aFoundations of computer science
531   $aANNU SYMP FOUND COMPUT SCI PROC
531   $aSYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE PROCEEDINGS
531 0 $aAnnu. Symp. Found. Comput. Sci.
606   $aSwitching theory$vCongresses
606   $aMachine theory$vCongresses
606   $aElectronic data processing$vCongresses
606   $aThéorie de la commutation$vCongrès
606   $aThéorie des automates$vCongrès
606   $aInformatique$vCongrès
606   $aElectronic data processing$2fast$3(OCoLC)fst00906956
606   $aMachine theory$2fast$3(OCoLC)fst01004846
606   $aSwitching theory$2fast$3(OCoLC)fst01140647
606   $aFundamentele informatica$2gtt
608   $aConference papers and proceedings.$2fast
615  0$aSwitching theory
615  0$aMachine theory
615  0$aElectronic data processing
615  6$aThéorie de la commutation
615  6$aThéorie des automates
615  6$aInformatique
615  7$aElectronic data processing.
615  7$aMachine theory.
615  7$aSwitching theory.
615 17$aFundamentele informatica.
676   $a519.4
712 02$aIEEE Computer Society.$bTechnical Committee on Mathematical Foundations of Computing.
712 02$aACM Special Interest Group for Automata and Computability Theory.
712 02$aUniversity of California, Berkeley.$bDepartment of Electrical Engineering and Computer Sciences.
906   $aCONFERENCE
912   $a9910626186303321
920   $aexl_impl conversion
996   $aAnnual Symposium on Foundations of Computer Science$91889411
997   $aUNINA