Login / Signup

Probabilities of first-order sentences on sparse random relational structures: An application to definability on random CNF formulas.

Lázaro Alberto Larrauri
Published in: J. Log. Comput. (2021)
Keyphrases
  • natural language
  • feature points
  • dynamic programming
  • temporal logic
  • relational structures