×

Found 2 Documents (Results 1–2)

Mapping tile logic into rewriting logic. (English) Zbl 0903.08010

Parisi Presicce, Francesco (ed.), Recent trends in algebraic development techniques. 12th international workshop, WADT ’97, Tarquinia, Italy, June 3–7, 1997. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1376, 62-91 (1998).
MSC:  08A70 68Q65 18C10 68Q10 68Q55 18D05 18D10
PDFBibTeX XMLCite

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

Software