000898957 000__ 04543cam\a2200565Ii\4500
000898957 001__ 898957
000898957 005__ 20230306150252.0
000898957 006__ m\\\\\o\\d\\\\\\\\
000898957 007__ cr\cn\nnnunnun
000898957 008__ 190722s2019\\\\sz\a\\\\o\\\\\101\0\eng\d
000898957 020__ $$a9783030236113$$q(electronic book)
000898957 020__ $$a3030236110$$q(electronic book)
000898957 020__ $$z9783030236106
000898957 0247_ $$a10.1007/978-3-030-23611-3$$2doi
000898957 035__ $$aSP(OCoLC)on1109844664
000898957 035__ $$aSP(OCoLC)1109844664
000898957 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dUKMGB$$dDKU
000898957 049__ $$aISEA
000898957 050_4 $$aQA166$$b.I24 2019eb
000898957 08204 $$a511/.5$$223
000898957 1112_ $$aICGT (Conference)$$n(12th :$$d2019 :$$cEindhoven, Netherlands)
000898957 24510 $$aGraph transformation :$$b12th International Conference, ICGT 2019, held as part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings /$$cEsther Guerra, Fernando Orejas (eds.).
000898957 2463_ $$aICGT 2019
000898957 264_1 $$aCham :$$bSpringer,$$c2019.
000898957 300__ $$a1 online resource (x, 231 pages) :$$billustrations.
000898957 336__ $$atext$$btxt$$2rdacontent
000898957 337__ $$acomputer$$bc$$2rdamedia
000898957 338__ $$aonline resource$$bcr$$2rdacarrier
000898957 4901_ $$aLecture notes in computer science ;$$v11629
000898957 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000898957 500__ $$aInternational conference proceedings.
000898957 500__ $$aIncludes author index.
000898957 50580 $$g[I].$$tTheory:$$tIntroducing symmetry to graph rewriting systems with process abstraction /$$rTaichi Tomioka, Yutaro Tsunekawa, and Kazunori Ueda --$$tDouble-pushout rewriting in context : rule composition and parallel independence /$$rMichael Löwe --$$tAdhesive subcategories of Functor categories with instantiation to partial triple graphs /$$rJens Kosiol, Lars Fritsche, Andy Schürr, and Gabriele Taentzer --$$tExtending predictive shift-reduce parsing to contextual hyperedge replacement grammars /$$rFrank Drewes, Berthold Hoffmann, and Mark Minas.
000898957 50580 $$g[II].$$tAnalysis and verification:$$tExploring conflict reasons for graph transformation systems /$$rLeen Lambers, Jens Kosiol, Daniel Strüber, and Gabriele Taentzer --$$tUnfolding graph grammars with negative application conditions /$$rAndrea Corradini, Maryam Ghaffari Saadat, and Reiko Heckel --$$tTwo-level reasoning about graph transformation programs /$$rAmani Makhlouf, Christian Percebois, and Hanh Nhi Tran.
000898957 50580 $$g[III].$$tTools and applications:$$tIncremental (unidirectional) model transformation with eMoflon::IBeX /$$rNils Weidmann, Anthony Anjorin, Patrick Robrecht, and Gergely Varró --$$tKnowledge representation and update in hierarchies of graphs /$$rRuss Harmer and Eugenia Oshurko --$$tRelating DNA computing and splitting/fusion grammars /$$rHans-Jörg Kreowski, Sabine Kuske, and Aaron Lye.
000898957 50580 $$g[IV].$$tTransformation rules construction and matching:$$tConstructing optimized validity-preserving application conditions for graph transformation rules /$$rNebras Nassar, Jens Kosiol, Thorsten Arendt, and Gabriele Taentzer --$$tFrom pattern invocation networks to rule preconditions /$$rNils Weidmann, Anthony Anjorin, Florian Stolte, and Florian Kraus --$$tHybrid search plan generation for generalized graph pattern matching /$$rMatthias Barkowsky and Holger Giese.
000898957 506__ $$aAccess limited to authorized users.
000898957 520__ $$aThis book constitutes the refereed proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, held as part of STAF 2019, in Eindhoven, The Netherlands, in July2019. The 12 research papers and 1 tool paper presented in this book were carefully reviewed and selected from 22 submissions. The papers deal with the following topics: Theory, Analysis and Verification, Tools and Applications, and Transformation Rules Construction and Matching. --$$cProvided by publisher.
000898957 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed July 22, 2019).
000898957 650_0 $$aGraph theory$$xData processing$$vCongresses.
000898957 650_0 $$aComputer science$$vCongresses.
000898957 7001_ $$aGuerra, Esther,$$eeditor.
000898957 7001_ $$aOrejas, F.$$q(Fernando),$$eeditor.
000898957 7112_ $$aSTAF (Federation of conferences)$$d(2019 :$$cEindhoven, Netherlands),$$jjointly held conference.
000898957 830_0 $$aLecture notes in computer science ;$$v11629.
000898957 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000898957 852__ $$bebk
000898957 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-23611-3$$zOnline Access$$91397441.1
000898957 909CO $$ooai:library.usi.edu:898957$$pGLOBAL_SET
000898957 980__ $$aEBOOK
000898957 980__ $$aBIB
000898957 982__ $$aEbook
000898957 983__ $$aOnline
000898957 994__ $$a92$$bISE