Search Results - Uridia, Levan

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Temporal logic of surjective bounded morphisms between finite linear processes

    Temporal logic of surjective bounded morphisms between finite linear processes by Gabelaia, David, Kuznetsov, Evgeny, Mihailescu, Radu Casian, Razmadze, Konstantine, Uridia, Levan

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Algebraic semantics for modal and superintuitionistic non-monotonic logics

    Algebraic semantics for modal and superintuitionistic non-monotonic logics by Pearce, David, Uridia, Levan

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:

Search Tools: