Exploiting Equivalences in Connection Calculi.
Autor: | BRÜNING, STEFAN |
---|---|
Zdroj: | Journal of the IGPL; Oct1995, Vol. 3 Issue 6, p857-886, 30p |
Databáze: | Complementary Index |
Externí odkaz: |
načítá se...
Autor: | BRÜNING, STEFAN |
---|---|
Zdroj: | Journal of the IGPL; Oct1995, Vol. 3 Issue 6, p857-886, 30p |
Databáze: | Complementary Index |
Externí odkaz: |