Publication | Open Access

Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity

Geometry Of NumberComputational Number TheoryModular FormModulus ProblemComputer ScienceModal Formulas