LEADER 02683nam 2200589 450 001 9910484488803321 005 20210216145350.0 010 $a1-280-38576-6 010 $a9786613563682 010 $a3-642-11881-X 024 7 $a10.1007/978-3-642-11881-4 035 $a(CKB)2670000000003381 035 $a(EBL)3065029 035 $a(SSID)ssj0000355447 035 $a(PQKBManifestationID)11249113 035 $a(PQKBTitleCode)TC0000355447 035 $a(PQKBWorkID)10320112 035 $a(PQKB)10578250 035 $a(DE-He213)978-3-642-11881-4 035 $a(MiAaPQ)EBC3065029 035 $a(MiAaPQ)EBC6351855 035 $a(PPN)149073593 035 $a(EXLCZ)992670000000003381 100 $a20210216d2010 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aAutomata for branching and layered temporal structures $ean investigation into regularities of infinite transition systems /$fGabriele Puppis 205 $a1st ed. 2010. 210 1$aBerlin ;$aHeidelberg :$cSpringer,$d[2010] 210 4$dİ2010 215 $a1 online resource (212 p.) 225 1 $aLecture notes in artificial intelligence ;$v5955 300 $aDescription based upon print version of record. 311 $a3-642-11880-1 320 $aIncludes bibliobraphical references and index. 327 $aWord Automata and Time Granularities -- Tree Automata and Logics -- Summary. 330 $aSince 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on the Ph.D. thesis of Gabriele Puppis, who was the winner of the E.W. Beth dissertation award for 2007. Puppis' thesis focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a new method for deciding Monadic Second Order theories of trees. The results presented represent a significant step towards a better understanding of the changes in granularity levels that humans make so easily in cognition of time, space, and other phenomena, whereas their logical and computational structure poses difficult conceptual and computational challenges. 410 0$aLecture notes in computer science.$pLecture notes in artificial intelligence ;$v5955. 606 $aMachine theory 615 0$aMachine theory. 676 $a510.904 700 $aPuppis$b Gabriele$01221181 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484488803321 996 $aAutomata for branching and layered temporal structures$92831523 997 $aUNINA