Login / Signup

A Formalization of the Development Closedness Criterion for Left-Linear Term Rewrite Systems.

Christina KohlAart Middeldorp
Published in: CPP (2023)
Keyphrases
  • data model
  • development process