LEADER 04286nam 22007695 450 001 996466114903316 005 20240222170229.0 010 $a3-540-33340-1 024 7 $a10.1007/11734673 035 $a(CKB)1000000000232915 035 $a(SSID)ssj0000319793 035 $a(PQKBManifestationID)11235116 035 $a(PQKBTitleCode)TC0000319793 035 $a(PQKBWorkID)10343209 035 $a(PQKB)10115070 035 $a(DE-He213)978-3-540-33340-1 035 $a(MiAaPQ)EBC3067943 035 $a(PPN)123133343 035 $a(EXLCZ)991000000000232915 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRelational Methods in Computer Science$b[electronic resource] $e8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers /$fedited by Wendy MacCaull, Michael Winter, Ivo Düntsch 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (VIII, 262 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3929 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-33339-8 320 $aIncludes bibliographical references and index. 327 $aInvited Papers -- Topological Representation of Precontact Algebras -- Relational Semantics Through Duality -- Duality Theory for Projective Algebras -- Contributed Papers -- Relational Approach to Boolean Logic Problems -- Static Analysis of Programs Using Omega Algebra with Tests -- Weak Contact Structures -- On Relational Cycles -- A Framework for Kleene Algebra with an Embedded Structure -- Non-termination in Unifying Theories of Programming -- Towards an Algebra of Hybrid Systems -- Relational Correspondences for Lattices with Operators -- Control-Flow Semantics for Assembly-Level Data-Flow Graphs -- Relational Implementation of Simple Parallel Evolutionary Algorithms -- Lattice-Based Paraconsistent Logic -- Verification of Pushdown Systems Using Omega Algebra with Domain -- wp Is wlp -- Relational Representability for Algebras of Substructural Logics -- Knuth-Bendix Completion as a Data Structure -- Quantifier Elimination in Elementary Set Theory -- Time-Dependent Contact Structures in Goguen Categories. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3929 606 $aComputer science 606 $aMachine theory 606 $aSoftware engineering 606 $aComputer science?Mathematics 606 $aArtificial intelligence 606 $aTheory of Computation 606 $aFormal Languages and Automata Theory 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aSymbolic and Algebraic Manipulation 606 $aArtificial Intelligence 615 0$aComputer science. 615 0$aMachine theory. 615 0$aSoftware engineering. 615 0$aComputer science?Mathematics. 615 0$aArtificial intelligence. 615 14$aTheory of Computation. 615 24$aFormal Languages and Automata Theory. 615 24$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aArtificial Intelligence. 676 $a004.0151 702 $aMacCaull$b Wendy$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWinter$b Michael$c(Professor)$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDüntsch$b Ivo$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 02$aEuropean Cooperation in the Field of Scientific and Technical Research (Organization).$bCOST Action 274 TARSKI (Project).$bWorkshop$f(2005 :$eSt. Catharines, Ont.) 712 12$aInternational Workshop on Applications of Kleene Algebra$d(3rd :$f2005 :$eSt. Catharines, Ont.) 906 $aBOOK 912 $a996466114903316 996 $aRelational Methods in Computer Science$9772440 997 $aUNISA LEADER 01124nam0 22002771i 450 001 UON00039940 005 20231205102141.80 100 $a20020107d1985 |0itac50 ba 101 $arus 102 $aSU 105 $a|||| 1|||| 200 1 $aJazyk mongolov Vnytrennej Mongolii$eOcerki dialektov$fB.X. Todaeva 210 $aMoskva$cIzd. Nauka$d1985 215 $a130 p.$d21 c 300 $aIn testa al front. : Akademija Nauk SSSR ; Ordena Trudovogo Krasnogo Znameni, Institut Vostokovedenija 606 $aLINGUE MONGOLE$xDIALETTOLOGIA$3UONC016063$2FI 620 $aRU$dMoskva$3UONL003152 686 $aMON II$cMONGOLIA - LINGUISTICA$2A 700 1$aTODAEVA$bBuljas Xojcievna$3UONV022752$0646384 712 $aAkademija Nauk SSSR$3UONV247334$4650 801 $aIT$bSOL$c20241213$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00039940 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI MON II 005 $eSI SA 53533 5 005 996 $aJazyk mongolov Vnytrennej Mongolii$91154733 997 $aUNIOR