Browsing eNauka
Browsing by Author Strassburger, Lutz
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2015 | On the Power of Substitution in the Calculus of Structures | Novakovic, Novak; Strassburger, Lutz | Article | 21aM21a |