Sign in

Combination of Uniform Interpolants via Beth Definability.

Diego CalvaneseSilvio GhilardiAlessandro GianolaMarco MontaliAndrey Rivkin
Published in: J. Autom. Reason. (2022)
Keyphrases
  • fixed point
  • multi agent systems
  • natural language
  • multiresolution
  • control system
  • wireless sensor networks
  • medical images