×

zbMATH — the first resource for mathematics

Found 7 Documents (Results 1–7)

100
MathJax
Gadducci, Fabio (ed.) et al., WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 71, 70-89 (2004).
MSC:  68N15 68N19 68Q42
PDF BibTeX XML Cite
Full Text: Link
Bonacina, Paola (ed.) et al., STRATEGIES 2001. Selected papers of the 4th international workshop on strategies in automated deduction (in connection with IJCAR 2001), Siena, Italy, June 18, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 58, No. 2, 155-188 (2001).
MSC:  68T15 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Kirchner, Claude (ed.) et al., International workshop on Rewriting logic and its applications. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 15, electronic paper No. 3 (1998).
MSC:  68N15 68Q42
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

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