DMCA

Stratified context unification is npcomplete (2006)

by Jordi Levy , Manfred Schmidt-schauß , Mateu Villaret
Venue:In Proc. of the 3rd International Joint Conference on Automated Reasoning, IJCAR’06
Citations:11 - 5 self