Login / Signup

Trace Expansions of Initial Segments.

Roman Murawski
Published in: Math. Log. Q. (1984)
Keyphrases
  • real world
  • preprocessing
  • data sets
  • knowledge base
  • case study
  • lower bound
  • initial set
  • execution traces