×

Found 3 Documents (Results 1–3)

Newest Citations Relevance
Escobar, Santiago; Meseguer, José; Thati, Prasanna

Narrowing and rewriting logic: from foundations to applications. (English) Zbl 1279.68205

López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 5-33 (2007).
MSC:  68Q60 03B70 68Q42
Cite Review PDF
Full Text: DOI
Escobar, Santiago; Meseguer, José; Thati, Prasanna

Natural rewriting for general term rewriting systems. (English) Zbl 1134.68380

Etalle, Sandro (ed.), Logic based program synthesis and transformation. 14th international symposium, LOPSTR 2004, Verona, Italy, August 26–28, 2004. Revised selected papers. Berlin: Springer (ISBN 978-3-540-26655-6/pbk). Lecture Notes in Computer Science 3573, 101-116 (2005).
MSC:  68Q42
Cite Review PDF
Full Text: DOI

Filter Results by …

Author

Year of Publication

Main Field

all top 3

Software