Login / Signup

First-order Recognizability in finite and pseudofinite Groups.

Yves CornulierJohn S. Wilson
Published in: J. Symb. Log. (2020)
Keyphrases
  • linear temporal logic
  • higher order
  • first order logic
  • information retrieval
  • finite number
  • database
  • real world
  • information systems
  • multi agent systems
  • special case
  • finite automata