Convergence in infinitary term graph rewriting systems is simple (extended abstract)
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Documents
- Bahr_2013_Convergence_in_infinitary
Final published version, 231 KB, PDF document
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 7th International Workshop on Computing with Terms and Graphs : Rome, 23th March 2013 |
| Editors | Rachid Echahed, Detlef Plump |
| Number of pages | 12 |
| Publisher | Open Publishing Association |
| Publication date | 2013 |
| Pages | 17-28 |
| DOIs | |
| Publication status | Published - 2013 |
| Event | International Workshop on Computing with Terms and Graphs 2013 - Rome, Italy Duration: 23 Mar 2013 → … Conference number: 7 |
Conference
| Conference | International Workshop on Computing with Terms and Graphs 2013 |
|---|---|
| Nummer | 7 |
| Land | Italy |
| By | Rome |
| Periode | 23/03/2013 → … |
| Series | Electronic Proceedings in Theoretical Computer Science |
|---|---|
| Volume | 110 |
| ISSN | 2075-2180 |
Number of downloads are based on statistics from Google Scholar and www.ku.dk
No data available
ID: 169284864