LEADER 00795nam0-22002651i-450- 001 990001187470403321 035 $a000118747 035 $aFED01000118747 035 $a(Aleph)000118747FED01 035 $a000118747 100 $a20000920d1955----km-y0itay50------ba 101 1$aeng 200 1 $aInternational Encyclopedia of Unified Science$fby NEURAT, MORRIS and CARNAP. 210 $aChicago$cCambridge University Press$d1955 300 $aVOL. I NOS. 1-5 700 1$aNeurath,$bOtto$f<1882-1945>$049560 702 1$aCarnap,$bRudolf$f<1891-1970> 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001187470403321 952 $a107-A-24$b1998$fMA1 959 $aMA1 996 $aInternational Encyclopedia of Unified Science$9342541 997 $aUNINA DB $aING01 LEADER 03160nam 22004935 450 001 996466453903316 005 20230329181644.0 010 $a3-030-23220-4 024 7 $a10.1007/978-3-030-23220-7 035 $a(CKB)4100000008527472 035 $a(DE-He213)978-3-030-23220-7 035 $a(MiAaPQ)EBC5921665 035 $a(PPN)254913768 035 $a(EXLCZ)994100000008527472 100 $a20190625d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRecent Trends in Algebraic Development Techniques$b[electronic resource] $e24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2?5, 2018, Revised Selected Papers /$fedited by José Luiz Fiadeiro, Ionu? ?u?u 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (IX, 175 p. 849 illus., 7 illus. in color.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11563 300 $aIncludes index. 311 $a3-030-23219-0 327 $aRole-based Development of Dynamically Evolving Esembles -- Parameterized Strategies Specication in Maude -- An Algebraic Theory for Data Linkage -- Institutions for SQL Database Schemas and Datasets -- Finite Limits and Anti-Unication in Substitution Categories -- A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs -- Term Charters -- Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories -- Structuring Theories with Implicit Morphisms. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2018, held in Egham, UK in July 2018. The 9 revised papers presented were carefully reviewed and selected from 13 submissions. The contributed presentations covered a range of topics: specification and modelling languages such as CASL, Event-B, Maude, MMT, and SRML; foundations of system specification such as graph transformation, categorical semantics, fuzzy and temporal logics, institutions, module systems and parameterization, refinement, static analysis, and substitutions; and applications including categorical programming, communicating finite state machines, neuralsymbolic integration, relational databases, and service-oriented computing. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11563 606 $aComputer science 606 $aComputer Science Logic and Foundations of Programming 615 0$aComputer science. 615 14$aComputer Science Logic and Foundations of Programming. 676 $a005.1 702 $aFiadeiro$b José Luiz$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $a?u?u$b Ionu?$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466453903316 996 $aRecent Trends in Algebraic Development Techniques$9771917 997 $aUNISA