Monadic simultaneous rigid E-unification and related problems

From MaRDI portal
Publication:4571948

DOI10.1007/3-540-63165-8_173zbMath1401.03037OpenAlexW1500424608MaRDI QIDQ4571948

Andrei Voronkov, Yuri Gurevich

Publication date: 4 July 2018

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-63165-8_173




Related Items (6)



Cites Work


This page was built for publication: Monadic simultaneous rigid E-unification and related problems