×

Found 24 Documents (Results 1–24)

100
MathJax

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
PDF BibTeX XML Cite
Full Text: DOI

Towards behavioral Maude: behavioral membership equational logic. (English) Zbl 1270.68194

Moss, Lawrence S. (ed.), CMCS’2002: Coalgebraic methods in computer science. Proceedings of the 5th workshop (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 1, 197-253 (2002).
MSC:  68Q65 03G30
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Classification

all top 3

Software