Login / Signup
A Formalization of the Development Closedness Criterion for Left-Linear Term Rewrite Systems.
Christina Kohl
Aart Middeldorp
Published in:
CPP (2023)
Keyphrases
</>
data model
development process