Browsing by Author Lang, Frederic
Showing results 2 to 2 of 2
< previous
Issue Date | Title | Author(s) |
---|---|---|
2003 | Calculating τ-confluence compositionally | Pace, Gordon J.; Lang, Frederic; Mateescu, Radu |
Issue Date | Title | Author(s) |
---|---|---|
2003 | Calculating τ-confluence compositionally | Pace, Gordon J.; Lang, Frederic; Mateescu, Radu |