Login / Signup

Greek letters in random staircase tableaux.

Sandrine Dasse-HartautPawel Hitczenko
Published in: Random Struct. Algorithms (2013)
Keyphrases
  • modal logic
  • real time
  • information retrieval
  • functional dependencies
  • genetic algorithm
  • information systems
  • lower bound
  • special case
  • randomly generated
  • comparative evaluation
  • decision procedures