Title | ||
---|---|---|
Zur Komplexität der Presburger Artihmetik und des Äquivalenzproblems einfacher Programme |
Abstract | ||
---|---|---|
Ohne Zusammenfassung |
Year | DOI | Venue |
---|---|---|
1979 | 10.1007/3-540-09118-1_32 | Theoretical Computer Science |
Keywords | DocType | ISBN |
zur komplexit | Conference | 3-540-09118-1 |
Citations | PageRank | References |
0 | 0.34 | 5 |
Authors | ||
1 |