LEADER 01993oam  2200445zu 450 
001 9910872627403321
005 20241212215201.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 08$a9780818670503 
311 08$a0818670509 
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$f1951-,$065955
801  0$bPQKB
906   $aBOOK
912   $a9910872627403321
996   $aLogic in Computer Science, 10th Symposium on (LICS '95$94207255
997   $aUNINA