×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

100
MathJax
Meseguer, J. (ed.), Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3–6, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 4, 25 p. (1996).
MSC:  68Q42 68T27
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

Document Type
Reviewing State
Year of Publication
Classification
all top 3
Software