Erratum to “Acyclic automata and small expressions using multi-tilde-bar operators” [Theoret. Comput. Sci. 411 (38-39) (2010) 3423-3435]期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

Erratum to “Acyclic automata and small expressions using multi-tilde-bar operators” [Theoret. Comput. Sci. 411 (38-39) (2010) 3423-3435]

Authors:	Pascal Caron Jean-Marc Champarnaud Ludovic Mignot

Affiliation:	LITIS, Université de Rouen, 76801, Saint Étienne du Rouvray, France

Abstract:

Keywords:
本文献已被 ScienceDirect 等数据库收录！