Login / Signup

A Navigation Logic for Recursive Programs with Dynamic Thread Creation.

Roman LakenbrinkMarkus Müller-OlmChristoph OhremJens Oliver Gutsfeld
Published in: CoRR (2023)
Keyphrases
  • recursive programs
  • program synthesis
  • logic programs
  • transformation rules
  • databases