000 03051nam a22005055i 4500
001 978-3-030-63595-4
003 DE-He213
005 20240730174830.0
007 cr nn 008mamaa
008 201210s2020 sz | s |||| 0|eng d
020 _a9783030635954
_9978-3-030-63595-4
024 7 _a10.1007/978-3-030-63595-4
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aRewriting Logic and Its Applications
_h[electronic resource] :
_b13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers /
_cedited by Santiago Escobar, Narciso Martí-Oliet.
250 _a1st ed. 2020.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2020.
300 _aVII, 217 p. 39 illus., 11 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v12328
505 0 _aModels of rewriting and rewriting logic -- Termination, confluence, coherence, and complexity -- Unification, generalization, and narrowing -- Graph rewriting -- Tree automata -- Rewriting strategies -- Rewriting-based declarative languages -- Explicit-state and symbolic model checking techniques -- Rewriting-based theorem proving, including (co)inductive theorem proving -- Rewriting-based constraint solving and satisfiability.
520 _aThis book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020. Due to the COVID-19 pandemic the workshop took place virtually. The 11 full papers presented in this volume were carefully reviewed and selected from 16 submissions Rewriting logic is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application fields.
650 0 _aComputer science.
_99832
650 1 4 _aComputer Science Logic and Foundations of Programming.
_942203
700 1 _aEscobar, Santiago.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9114288
700 1 _aMartí-Oliet, Narciso.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9114289
710 2 _aSpringerLink (Online service)
_9114290
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030635947
776 0 8 _iPrinted edition:
_z9783030635961
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v12328
_9114291
856 4 0 _uhttps://doi.org/10.1007/978-3-030-63595-4
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c89648
_d89648