wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

datalog_semiring (185B)

      1 # Datalog semiring
      2 
      3 A [datalog] program with [semiring]
      4 
      5 [datalog_semiring_query_evaluation]
      6 
      7 Questions of [convergence]
      8 
      9 Formalism: [datalogo]
     10 
     11 Up: [datalog]
     12 
     13 See also: [yann_ramusat]