vix.ing · top · new · best · stats · spec

Agadzhanian, I.

  1. Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames
    2023/06/23 by Irina Agadzhanian, Mikhail Rybakov, Agadzhanian, I. +3 · 1 citation
    Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO)