DMCA

On the complexity of Bounded Second-Order Unification and Stratified Context Unification (2010)

by Jordi Levy , Manfred Schmidt-schauß , Mateu Villaret
Citations:6 - 1 self