Skip to content

Solving Word Equations (And Other Unification Problems) by Recompression (Invited Talk).

Artur Jez

VenueBCSL
Year2020
ProceedingsCSL

Browse the full CSL paper archive.