Pattern Matching of Compressed Terms and Contexts and Polynomial Rewriting (2011)

by Manfred Schmidt-schauß , Johann Wolfgang Goethe-universität
Citations:3 - 1 self