LEADER 02765nam  22004935  450 
001 996418205303316
005 20230329140919.0
010   $a3-030-63595-3
024 7 $a10.1007/978-3-030-63595-4
035   $a(CKB)4100000011645303
035   $a(DE-He213)978-3-030-63595-4
035   $a(MiAaPQ)EBC6424323
035   $a(PPN)252514408
035   $a(EXLCZ)994100000011645303
100   $a20201210d2020      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aRewriting Logic and Its Applications$b[electronic resource] $e13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers /$fedited by Santiago Escobar, Narciso Martí-Oliet
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (VII, 217 p. 39 illus., 11 illus. in color.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12328
300   $aIncludes index.
311   $a3-030-63594-5 
327   $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.
330   $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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12328
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.1015113
702   $aEscobar$b Santiago
702   $aMarti?-Oliet$b N$g(Narciso),
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bUtOrBLW
906   $aBOOK
912   $a996418205303316
996   $aRewriting logic and its applications$92247230
997   $aUNISA