„DOT Calculus“

Suchergebnisse

11 Treffer

• Distributive lattices of varieties of Novikov algebras
  Dotsenko, Vladimir ; Zhakhayev, Bekzat
• Pure Methods for roDOT
  Dort, Vlastimil ; Li, Yufeng ; Lhoták, Ondřej ; Parízek, Pavel 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation
  Nakamura, Yoshiki 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Pure Methods for roDOT (Artifact)
  Dort, Vlastimil ; Li, Yufeng ; Lhoták, Ondřej ; Parízek, Pavel
• Reference Mutability for DOT
  Dort, Vlastimil ; Lhoták, Ondřej 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the commensurability of hyperbolic Coxeter groups
  Dotti, Edoardo
• Optimizers of the Sobolev and Gagliardo–Nirenberg inequalities in $$ \dot{W}^{s,p} $$ W ˙ s , p
  Zhang, Yang
• On a Cooperative Game in the Knapsack Problem
  Dotsenko, S. I.
• Large Time Decay for the Magnetohydrodynamics System in H s ˙ ( R n ) $\dot{\boldsymbol{H}^{s}}(\mathbb{R}^{n})$
  Melo, Wilberclay G. ; Perusato, Cilon F. ; Guterres, Robert H. ; Nunes, Juliana R.
• Models of Two-Stage Mutual Best Choice
  Dotsenko, S. I. ; Ivashko, A. A.
• A large class of maximally tough graphs
  Doty, Lynne L.