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: