One Context Unification Problems Solvable in Polynomial Time

DOI10.1109/LICS.2015.53zbMath1401.68121OpenAlexW1529329831MaRDI QIDQ4635831

Manfred Schmidt Schaus, Adrià Gascón, Ashish Kumar Tiwari

Publication date: 23 April 2018

Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/lics.2015.53

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Grammars and rewriting systems (68Q42)

This page was built for publication: One Context Unification Problems Solvable in Polynomial Time