LEADER 03223nam  22007215  450 
001 996465282503316
005 20230223074245.0
010   $a3-319-44802-1
024 7 $a10.1007/978-3-319-44802-2
035   $a(CKB)3710000000837736
035   $a(DE-He213)978-3-319-44802-2
035   $a(MiAaPQ)EBC6307067
035   $a(MiAaPQ)EBC5577845
035   $a(Au-PeEL)EBL5577845
035   $a(OCoLC)957272735
035   $a(PPN)194804224
035   $a(EXLCZ)993710000000837736
100   $a20160817d2016      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] $e11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers /$fedited by Dorel Lucanu
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XV, 185 p. 28 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9942
311   $a3-319-44801-3 
327   $aFoundations -- Rewriting as a logical and semantic framework.-Rewriting languages -- Verification techniques -- Applications.
330   $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016. The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers cover several topics such as: foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; and applications.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9942
606   $aComputer science
606   $aSoftware engineering
606   $aComputer programming
606   $aCompilers (Computer programs)
606   $aMachine theory
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aProgramming Techniques
606   $aCompilers and Interpreters
606   $aFormal Languages and Automata Theory
606   $aModels of Computation
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aComputer programming.
615  0$aCompilers (Computer programs).
615  0$aMachine theory.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aCompilers and Interpreters.
615 24$aFormal Languages and Automata Theory.
615 24$aModels of Computation.
676   $a005.131
702   $aLucanu$b Dorel$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465282503316
996   $aRewriting logic and its applications$92247230
997   $aUNISA

LEADER 00890nas  2200361 c 450 
001 9910147002303321
005 20200406134835.0
035   $a(CKB)1000000000526185
035   $a(OCoLC)405782582
035   $a(DE-101)024204544
035   $a(DE-599)ZDB2098145-4
035   $a(EXLCZ)991000000000526185
100   $a20030114a19969999  |y         |
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aCinetext$efilm & philosophy
210 31$aWien$cUniv.$d1996-
215   $aOnline-Ressource
311 08$a1605-6035 
608   $aZeitschrift$2gnd-content
676   $a070
676   $a100
686   $aPHILOS$qDE-12$2fid
801  0$b0029
801  1$bDE-101
801  2$b0012
906   $aJOURNAL
912   $a9910147002303321
996   $aCinetext$92286717
997   $aUNINA