Results 71 to 80 of about 157,848 (165)

The syntactic concept lattice: Another algebraic theory of the context-free languages?

Journal of Logic and Computation, 2015
Alexander Clark
semanticscholar   +1 more source

Semantic Cut Elimination for the Logic of Bunched Implications and Structural Extensions, Formalized in Coq

, 2022
Frumin D.
europepmc   +1 more source

Compositional Causal Identification from Imperfect or Disturbing Observations. [PDF]

Entropy (Basel)
Friend I, Kissinger A, Spekkens RW, Wolfe E.   +3 more
europepmc   +1 more source

Higher Algebraic K-Theory of Causality. [PDF]

Entropy (Basel)
Mahadevan S.
europepmc   +1 more source