DMCA

One-context Unification with STG-Compressed Terms is in NP (2012)

Cached

Download Links

by Carles Creus , Adrià Gascón , Guillem Godoy
Citations:3 - 0 self