Anagopos: a reduction graph visualizer for term rewriting and lambda calculus
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Dokumenter
- Grathwohl_2011_Anagopos
Forlagets udgivne version, 1,68 MB, PDF-dokument
| Originalsprog | Engelsk |
|---|---|
| Titel | 22nd International Conference on Rewriting Techniques and Applications (RTA'11) |
| Redaktører | Manfred Schmidt-Schauß |
| Antal sider | 10 |
| Forlag | Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
| Publikationsdato | 2011 |
| Sider | 61-70 |
| ISBN (Trykt) | 978-3-939897-30-9 |
| DOI | |
| Status | Udgivet - 2011 |
| Begivenhed | 22nd International Conference on Rewriting Techniques and Applications - Novi Sad, Serbien Varighed: 30 maj 2011 → 1 jun. 2011 |
Konference
| Konference | 22nd International Conference on Rewriting Techniques and Applications |
|---|---|
| Land | Serbien |
| By | Novi Sad |
| Periode | 30/05/2011 → 01/06/2011 |
| Navn | Leibniz International Proceedings in Informatics |
|---|---|
| Vol/bind | 10 |
| ISSN | 1868-8969 |
Antal downloads er baseret på statistik fra Google Scholar og www.ku.dk
Ingen data tilgængelig
ID: 37441022