LEADER 02912nam0 22005893i 450 001 VAN0249173 005 20230530094757.56 017 70$2N$a9783030452315 100 $a20220805d2020 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aFoundations of Software Science and Computation Structures$e23. International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25?30, 2020, Proceedings$fJean Goubault-Larrecq, Barbara König editors 210 $aCham$cSpringer$d2020 215 $axv, 644 p.$cill.$d24 cm 410 1$1001VAN0029438$12001 $aLecture notes in computer science$1210 $aBerlin [etc.]$cSpringer$v12077 500 1$3VAN0249175$aFoundations of Software Science and Computation Structures$9772187 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 606 $a68Qxx$xTheory of computing [MSC 2020]$3VANC019949$2MF 606 $a00B25$xProceedings of conferences of miscellaneous specific interest [MSC 2020]$3VANC020732$2MF 606 $a68Nxx$xTheory of software [MSC 2020]$3VANC027772$2MF 610 $aArtificial intellegence$9KW:K 610 $aAutomata$9KW:K 610 $aCategorical models and logics$9KW:K 610 $aConcurrency theory and process calculi$9KW:K 610 $aEmerging models of computation$9KW:K 610 $aFormal logic$9KW:K 610 $aLanguage theory$9KW:K 610 $aLinguistics$9KW:K 610 $aLogical aspects of computational complexity$9KW:K 610 $aLogical foundations of data bases$9KW:K 610 $aLogics of programming$9KW:K 610 $aMathematics$9KW:K 610 $aModal, spatial and temporal logics$9KW:K 610 $aModels of software security$9KW:K 610 $aRewriting theory$9KW:K 610 $aSemantics of programming languages$9KW:K 610 $aSoftware specification and refinement$9KW:K 610 $aType theory and proof theory$9KW:K 610 $aand games$9KW:K 620 $aCH$dCham$3VANL001889 702 1$aGoubault-Larrecq$bJean$3VANV203828 702 1$aKönig$bBarbara$3VANV203829 712 12$aInternational Conference on Foundations of Software Science and Computation Structures$d23.$f2020$eDublin, Ireland$3VANV203830 801 $aIT$bSOL$c20230602$gRICA 856 4 $uhttp://doi.org/10.1007/978-3-030-45231-5$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN0249173 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 4659 $e08eMF4659 20220805 996 $aFoundations of Software Science and Computation Structures$9772187 997 $aUNICAMPANIA LEADER 00912nam0 22002531i 450 001 VAN0036183 005 20060515120000.0 100 $a20050513d1972 |0itac50 ba 101 $afre 102 $aFR 105 $a|||| ||||| 200 1 $aHeraclite ou la separation$fJean Bollack, Henz Wismann 210 $aParis$cedition de Minuit$d1972 215 $a405 p.$d22 cm. 620 $dParis$3VANL000046 702 1$aBollack$bJean$3VANV030382 702 1$aWismann$bHeinz$3VANV030381 712 $aMinuit$3VANV110014$4650 801 $aIT$bSOL$c20230616$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$1IT-CE0103$2VAN07 912 $aVAN0036183 950 $aBIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$d07CONS Xd Heraclit 247 $e07 2004 20050513 996 $aHeraclite ou la separation$91422958 997 $aUNICAMPANIA