Login / Signup

On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions.

Naoki NishidaYuya Maeda
Published in: WPTE@FSCD (2018)
Keyphrases