Deciding context unification (with regular constraints)

DOI10.1007/978-3-030-24886-4_2zbMATH Open1503.68118OpenAlexW2963644573MaRDI QIDQ2327536

Artur Jeż

Publication date: 15 October 2019

Full work available at URL: https://doi.org/10.1007/978-3-030-24886-4_2

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Grammars and rewriting systems (68Q42)

Related Items (1)

Stratified Context Unification Is NP-Complete

This page was built for publication: Deciding context unification (with regular constraints)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2327536)