1
Publicerad 2005
Innehållsförteckning: ... -- Identifying Polynomial-Time Recursive Functions -- Confluence of Shallow Right-Linear Rewrite Systems...
Hämta fulltext
Elektronisk E-bok