Login / Signup

On sequentiality and well-bracketing in the π-calculus.

Daniel HirschkoffEnguerrand PrebetDavide Sangiorgi
Published in: LICS (2021)
Keyphrases
  • image processing
  • automated deduction
  • data sets
  • information systems
  • formal language
  • automated theorem proving
  • algebraic structure