001437588 000__ 04112cam\a2200613\i\4500
001437588 001__ 1437588
001437588 003__ OCoLC
001437588 005__ 20230309004156.0
001437588 006__ m\\\\\o\\d\\\\\\\\
001437588 007__ cr\cn\nnnunnun
001437588 008__ 210625s2021\\\\sz\a\\\\o\\\\\100\0\eng\d
001437588 019__ $$a1257401148
001437588 020__ $$a9783030789466$$q(electronic bk.)
001437588 020__ $$a3030789462$$q(electronic bk.)
001437588 020__ $$z9783030789459$$q(print)
001437588 020__ $$z3030789454
001437588 0247_ $$a10.1007/978-3-030-78946-6$$2doi
001437588 035__ $$aSP(OCoLC)1257552080
001437588 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDX$$dEBLCP$$dOCLCF$$dOCLCO$$dOCLCQ$$dCOM$$dOCLCO$$dOCLCQ
001437588 049__ $$aISEA
001437588 050_4 $$aQA166$$b.I24 2021eb
001437588 08204 $$a511/.5$$223
001437588 1112_ $$aICGT (Conference)$$n(14th :$$d2021 :$$cOnline)
001437588 24510 $$aGraph transformation :$$b14th International Conference, ICGT 2021, held as part of STAF 2021, Virtual event, June 24-25, 2021, Proceedings /$$cedited by Fabio Gadducci, Timo Kehrer (eds.).
001437588 2463_ $$aICGT 2021
001437588 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2021]
001437588 300__ $$a1 online resource (xii, 303 pages) :$$billustrations (some color)
001437588 336__ $$atext$$btxt$$2rdacontent
001437588 337__ $$acomputer$$bc$$2rdamedia
001437588 338__ $$aonline resource$$bcr$$2rdacarrier
001437588 4901_ $$aLecture notes in computer science ;$$v12741
001437588 4901_ $$aLNCS sublibrary, SL 1, Theoretical computer science and general issues
001437588 5050_ $$aTheoretical Advances -- Concurrency Theorems for Non-linear Rewriting Theories -- A Generalized Concurrent Rule Construction for Double-Pushout Rewriting -- Transformations of Reaction Systems over Categories by means of Epi-Mono Factorization and Functors -- Graph Rewriting and Relabeling with PBPO+ -- Incorrectness Logic for Graph Programs -- Powerful and NP-Complete: Hypergraph Lambek Grammars -- Evaluation Diversity for Graph Conditions -- Application Domains -- Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching -- Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars -- Nets with Mana: A Framework for Chemical Reaction Modelling -- A Case Study on the Graph-transformational Modeling and Analysis of Puzzles -- Interval Probabilistic Timed Graph Transformation Systems -- Verifying Graph Programs with Monadic Second-Order Logic -- On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems -- Tool Presentations -- Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars -- GrapePress -- A Computational Notebook for Graph Transformations.
001437588 506__ $$aAccess limited to authorized users.
001437588 520__ $$aThis book constitutes the refereed proceedings of the 14th International Conference on Graph Transformation, ICGT 2021, which took place virtually during June 24-25, 2021. The 14 full papers and 2 tool papers presented in this book were carefully reviewed and selected from 26 submissions. They deal with the following topics: theoretical advances; application domains; and tool presentations.
001437588 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed June 25, 2021).
001437588 650_0 $$aGraph theory$$xData processing$$vCongresses.
001437588 650_0 $$aComputer science$$vCongresses.
001437588 650_6 $$aInformatique$$vCongrès.
001437588 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001437588 655_7 $$aConference papers and proceedings.$$2lcgft
001437588 655_7 $$aActes de congrès.$$2rvmgf
001437588 655_0 $$aElectronic books.
001437588 7001_ $$aGadducci, Fabio,$$eeditor$$0(orcid)0000-0003-0690-3051$$1https://orcid.org/0000-0003-0690-3051
001437588 7001_ $$aKehrer, Timo,$$eeditor$$1https://orcid.org/0000-0002-2582-5557
001437588 7112_ $$aSTAF (Federation of conferences)$$d(2021 :$$cOnline)
001437588 830_0 $$aLecture notes in computer science ;$$v12741.
001437588 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
001437588 852__ $$bebk
001437588 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-78946-6$$zOnline Access$$91397441.1
001437588 909CO $$ooai:library.usi.edu:1437588$$pGLOBAL_SET
001437588 980__ $$aBIB
001437588 980__ $$aEBOOK
001437588 982__ $$aEbook
001437588 983__ $$aOnline
001437588 994__ $$a92$$bISE