Ver registro no DEDALUS
Exportar registro bibliográfico

Metrics


Metrics:

From Active Names to p-calculus Rewriting Rules (2005)