×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Giesl, Jürgen (ed.), Term rewriting and applications. 16th international conference, RTA 2005, Nara, Japan, April 19–21, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25596-6/pbk). Lecture Notes in Computer Science 3467, 150-164 (2005).
MSC:  68Q15 68Q42
BibTeX Cite
Full Text: DOI
Bjørner, Dines (ed.) et al., Perspectives of system informatics. 4th international Andrei Ershov memorial conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2–6, 2001. Revised papers. Berlin: Springer (ISBN 3-540-43075-X). Lect. Notes Comput. Sci. 2244, 482-493 (2001).
MSC:  68N18 68N30 68Q25
BibTeX Cite
Full Text: Link

Filter Results by …

Document Type
Year of Publication
Classification
Software