wiki_research

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

compositionality (149B)

      1 # Compositionality
      2 
      3 the [logical_type] of a [structure] can be computed for that of its [substructures]
      4 
      5 e.g., [MSO] on [treelike_data]
      6 
      7 Up: [logic]