# zbMATH — the first resource for mathematics

## Found 7 Documents (Results 1–7)

100
MathJax
MSC:  68N15 68Q42 68N18
Full Text:
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
Full Text:
Hanus, Michael (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 64, 234-254 (2002).
MSC:  68Q42
Full Text:
MSC:  68Q42
Full Text:
MSC:  68Q42 68T27
Full Text:
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
Full Text:
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
Full Text:

all top 3