Login / Signup

First-Order Tests for Toricity.

Hamid RahkooyThomas Sturm
Published in: CASC (2020)
Keyphrases
  • first order logic
  • real time
  • data sets
  • term rewriting
  • neural network
  • information systems
  • multiscale
  • video sequences
  • artificial neural networks
  • linear temporal logic
  • stochastic dominance