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

Gabelaia, David

  1. Modal languages for topology: expressivity and definability
    2006/10/11 by Balder ten Cate, Cate, Balder ten, David Gabelaia +3 · 1 citation
    Computer Science · #03B45 #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #semigroups and automata theory
  2. Weak Simplicial Bisimilarity for Polyhedral Models and SLCSeta -- Extended Version
    2024/04/09 by Bezhanishvili, Nick, Ciancia, Vincenzo, Gabelaia, David +4 · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)