On two-dimensional pattern-matching languages and their decision problems
From MaRDI portal
Publication:1093378
DOI10.1016/0020-0255(86)90012-5zbMath0628.68059OpenAlexW1978466648MaRDI QIDQ1093378
Kazuhiro Sugata, Kenichi Morita, Kaoru Nakazono
Publication date: 1986
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0255(86)90012-5
undecidabilitydecidabilityemptiness problemtwo-dimensional pattern matchinguniverse problemequivalence problemsexistential matching languagestwo-dimensional array languagesuniversal matching languages
Cites Work
This page was built for publication: On two-dimensional pattern-matching languages and their decision problems