Login / Signup

Realizability of concurrent recursive programs.

Benedikt BolligManuela-Lidia GrindeiPeter Habermehl
Published in: Formal Methods Syst. Des. (2018)
Keyphrases
  • recursive programs
  • program synthesis
  • logic programs
  • transformation rules
  • logic programming
  • machine learning
  • knowledge base
  • inductive logic programming
  • database
  • case study