×

Found 2 Documents (Results 1–2)

Proceedings of the 6th international workshop on rule-based programming (RULE 2005), Nara, Japan, April 23, 2005. (English) Zbl 1273.68024

Electronic Notes in Theoretical Computer Science 147, No. 1. Amsterdam: Elsevier. 162 p., electronic only (2006).
MSC:  68-06 68N30 00B25
PDFBibTeX XMLCite
Full Text: Link

Proceedings of the fifth international workshop on rewriting logic and its applications (WRLA 2004), Barcelona, Spain, March 27–28, 2004. (English) Zbl 1271.68050

Electronic Notes in Theoretical Computer Science 117. Amsterdam: Elsevier. 442 p., electronic only (2005).
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Year of Publication

Main Field