LEADER 01845nam0 22003973i 450 001 VAN0255411 005 20230524111227.138 017 70$2N$a9783540364993 100 $a20230228d1971 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aSymposium on Semantics of Algorithmic Languages$fedited by E. Engeler 210 $aBerlin$cSpringer$d1971 215 $avi, 366 p.$cill.$d24 cm 461 1$1001VAN0102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v188 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 606 $a68N17$xLogic programming [MSC 2020]$3VANC020586$2MF 606 $a68Q45$xFormal languages and automata [MSC 2020]$3VANC021434$2MF 606 $a68Q55$xSemantics in the theory of computing [MSC 2020]$3VANC024542$2MF 606 $a68P20$xInformation storage and retrieval of data (aspects in computer science) [MSC 2020]$3VANC024571$2MF 606 $a68N01$xGeneral topics in the theory of software [MSC 2020]$3VANC035632$2MF 610 $aAlgebra$9KW:K 610 $aSemantics$9KW:K 610 $aSemantics of Algorithmic Languages$9KW:K 620 $dBerlin$3VANL000066 702 1$aEngeler$bErwin$3VANV208424 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/BFb0059689$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 $aVAN0255411 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 5585 $e08eMF5585 20230309 996 $aSymposium on semantics of algorithmic languages$9262877 997 $aUNICAMPANIA