Name Card

Full name Familienname, Vorname
Lucas, Salvador
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gramlich, Bernhard ; Lucas, Salvador Generalizing Newman's Lemma for Left-Linear Rewrite SystemsKonferenzbeitrag Inproceedings 2006
2Gramlich, Bernhard ; Lucas, Salvador Reduction Strategies in Rewriting and Programming (Special Issue, Journal of Symbolic Computation): EditorialArtikel Article2005
3Gramlich, Bernhard ; Lucas, Salvador Reduction Strategies in Rewriting and ProgrammingArtikel Article2005