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

Kieronski, Emanuel

  1. One-dimensional guarded fragments
    2019/04/09 by Kieronski, Emanuel · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
  2. Finite Satisfiability of Unary Negation Fragment with Transitivity
    2018/09/10 by Danielski, Daniel, Kieronski, Emanuel · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)