Context unification with one context variable

DOI10.1016/j.jsc.2008.10.005zbMath1192.68431OpenAlexW2033770248MaRDI QIDQ1041589

Could not fetch data.

Publication date: 3 December 2009

Published in: (Search for Journal in Brave)

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/22290107/1_s2.0_S0747717109001114_main.pdf

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.