Login / Signup

Some Trace Monoids Where Both the Star Problem and the Finite Power Property Problem are Decidable.

Gwénaël Richomme
Published in: MFCS (1994)
Keyphrases
  • power consumption
  • function symbols
  • integer points
  • data sets
  • data model
  • finite number
  • transitive closure
  • databases
  • multiscale
  • evolutionary algorithm
  • special case
  • source code
  • first order logic