Proceedings of the fifth international workshop on rewriting logic and its applications (WRLA 2004), Barcelona, Spain, March 27--28, 2004

zbMATH Open1271.68050MaRDI QIDQ360611

Author name not available (Why is that?)

Publication date: 27 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/journal/15710661/117

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (2)

Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3--6, 1996 ⋮ IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998

Recommendations

• Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2--3, 2016. Revised selected papers 👍 👎
• WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19--21, 2002 👍 👎
• Proceedings of the 6th international workshop on rewriting logic and its applications (WRLA 2006), Vienna, Austria, April 1--2, 2006 👍 👎
• Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16--17, 2006 👍 👎
• Proceedings of the 7th international workshop on rewriting logic and its applications (WRLA 2008), Budapest, Hungary, March 29--30, 2008 👍 👎
• Rewriting logic and its applications. 10th international workshop, WRLA 2014, held as a satellite event of ETAPS, Grenoble, France, April 5--6, 2014. Revised selected papers 👍 👎
• Special issue: Rewriting logic and its applications. Selected papers based on the presentations at the 8th international workshop on rewriting logic and its applications (WRLA), Paphos, Cyprus, March 20--21, 2010 👍 👎
• Rewriting logic and its applications. 14th international workshop, WRLA 2022, Munich, Germany, April 2--3, 2022. Revised selected papers 👍 👎
• Rewriting logic and its applications (extended selected papers from WRLA 2014) 👍 👎
• Rewriting logic and its applications (extended selected papers from WRLA 2014) 👍 👎

This page was built for publication: Proceedings of the fifth international workshop on rewriting logic and its applications (WRLA 2004), Barcelona, Spain, March 27--28, 2004

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q360611)