Login / Signup

Distribution of Linux Log Files Described by Predicate Linear Logic Formula.

Ján PerhácDaniel MihályiLukas Relosky
Published in: SACI (2018)
Keyphrases
  • log files
  • linear logic
  • log data
  • website
  • web usage mining
  • fixed point
  • logic programming
  • logical framework
  • sequent calculus
  • web users
  • desirable properties
  • domain experts
  • cut elimination
  • probability distribution