Relational treatment of term graphs with bound variables.

Autor: Kahl, W1
Zdroj: Logic Journal of the IGPL. 1998, Vol. 6 Issue 2, p259-303. 45p.
Databáze: Business Source Ultimate
Externí odkaz: