Anagopos: a reduction graph visualizer for term rewriting and lambda calculus
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Documents
- Grathwohl_2011_Anagopos
Final published version, 1.68 MB, PDF document
| Original language | English |
|---|---|
| Title of host publication | 22nd International Conference on Rewriting Techniques and Applications (RTA'11) |
| Editors | Manfred Schmidt-Schauß |
| Number of pages | 10 |
| Publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
| Publication date | 2011 |
| Pages | 61-70 |
| ISBN (Print) | 978-3-939897-30-9 |
| DOIs | |
| Publication status | Published - 2011 |
| Event | 22nd International Conference on Rewriting Techniques and Applications - Novi Sad, Serbia Duration: 30 May 2011 → 1 Jun 2011 |
Conference
| Conference | 22nd International Conference on Rewriting Techniques and Applications |
|---|---|
| Land | Serbia |
| By | Novi Sad |
| Periode | 30/05/2011 → 01/06/2011 |
| Series | Leibniz International Proceedings in Informatics |
|---|---|
| Volume | 10 |
| ISSN | 1868-8969 |
Number of downloads are based on statistics from Google Scholar and www.ku.dk
No data available
ID: 37441022