Finding small counterexamples for abstract rewriting properties
ZANTEMA, HANSVolume:
28
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/s0960129518000221
Date:
September, 2018
File:
PDF, 191 KB
english, 2018