Convergence in infinitary term graph rewriting systems is simple (extended abstract)
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Dokumenter
- Bahr_2013_Convergence_in_infinitary
Forlagets udgivne version, 231 KB, PDF-dokument
| Originalsprog | Engelsk |
|---|---|
| Titel | Proceedings of the 7th International Workshop on Computing with Terms and Graphs : Rome, 23th March 2013 |
| Redaktører | Rachid Echahed, Detlef Plump |
| Antal sider | 12 |
| Forlag | Open Publishing Association |
| Publikationsdato | 2013 |
| Sider | 17-28 |
| DOI | |
| Status | Udgivet - 2013 |
| Begivenhed | International Workshop on Computing with Terms and Graphs 2013 - Rome, Italien Varighed: 23 mar. 2013 → … Konferencens nummer: 7 |
Konference
| Konference | International Workshop on Computing with Terms and Graphs 2013 |
|---|---|
| Nummer | 7 |
| Land | Italien |
| By | Rome |
| Periode | 23/03/2013 → … |
| Navn | Electronic Proceedings in Theoretical Computer Science |
|---|---|
| Vol/bind | 110 |
| ISSN | 2075-2180 |
Antal downloads er baseret på statistik fra Google Scholar og www.ku.dk
Ingen data tilgængelig
ID: 169284864