LEADER 01956oam  2200433zu 450 
001 996200302303316
005 20210807003508.0
035   $a(CKB)111055184264050
035   $a(SSID)ssj0000558493
035   $a(PQKBManifestationID)12250531
035   $a(PQKBTitleCode)TC0000558493
035   $a(PQKBWorkID)10558734
035   $a(PQKB)10290383
035   $a(NjHacI)99111055184264050
035   $a(EXLCZ)99111055184264050
100   $a20160829d1995      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$aLogic in Computer Science, 10th Symposium on (LICS '95
210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d1995
215   $a1 online resource (xiii, 518 pages) $cillustrations
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-8186-7050-9 
320   $aIncludes bibliographical references.
330   $aThe proceedings of LICS'95 comprise technical papers on topics in program logics, finite models, model checking and verification, theorem proving and AI, concurrency, semantics, lambda calculus and types, unification and rewriting, and linear logic. There are also four invited presentations: a complete proof system for QPTL; the semantic challenge of Verilog HDL; experience using type theory as a foundation for computer science; and origins and metamorphoses of the trinity--logic, nets, automata. No index. Annotation copyright by Book News, Inc., Portland, OR.
606   $aComputer science$xMathematics$vCongresses
606   $aLogic, Symbolic and mathematical$vCongresses
615  0$aComputer science$xMathematics
615  0$aLogic, Symbolic and mathematical
676   $a004.0151
700   $aKozen$b Dexter$0535967
801  0$bPQKB
906   $aBOOK
912   $a996200302303316
996   $aLogic in Computer Science, 10th Symposium on (LICS '95$92540505
997   $aUNISA