"MIX is a 2-MCFL and the word problem in Z2 is captured by the ..."

Sylvain Salvati (2015)

Details and statistics

DOI: 10.1016/J.JCSS.2015.03.004

access: open

type: Journal Article

metadata version: 2021-02-16