Results 271 to 280 of about 59,038 (307)
Some of the next articles are maybe not open access.
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
The Journal of Logic and Algebraic Programming, 2012FRANCISCO Duran, JOSÉ Meseguer
exaly

