wiki_research

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

provenance_circuit (243B)

      1 # Provenance circuit
      2 
      3 Can use [circuit] for [provenance], e.g.,
      4 
      5 - [datalog] provenance: foundational paper [deutch2014circuits]
      6 - [provenance_mso]: [monadic_second_order_logic] provenance [amarilli2015provenance]
      7 
      8 Up: [provenance], [circuit]