| Originalsprog | Engelsk |
|---|---|
| Titel | Proceedings of the 26th International Workshop on Unification (UNIF 26) |
| Publikationsdato | 2012 |
| Sider | 14-19 |
| Status | Udgivet - 2012 |
On Matching Concurrent Traces
Carsten Schürmann, Iliano Cervesato, Frank Pfenning, Robert J Simmons
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review