Login / Signup

Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification.

Pascal BergsträßerMoses GanardiAnthony W. LinGeorg Zetzsche
Published in: CoRR (2022)
Keyphrases
  • first order logic
  • natural language
  • semi automatic
  • data sets
  • real world
  • computer vision
  • decision making
  • case study
  • digital libraries
  • worst case
  • decision problems
  • formal verification