„downward closure“

Suchergebnisse

9 Treffer

• Unboundedness Problems for Formal Languages (Invited Talk)
  Zetzsche, Georg 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Upward/Downward Closures of Petri Nets
  Atig, Mohamed Faouzi ; Meyer, Roland ; Muskalla, Sebastian ; Saivasan, Prakash 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Directed Regular and Context-Free Languages
  Ganardi, Moses ; Sağlam, Irmak ; Zetzsche, Georg 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Priority Downward Closures
  Anand, Ashwani ; Zetzsche, Georg 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Cost Automata, Safe Schemes, and Downward Closures
  Barozzini, David ; Clemente, Lorenzo ; Colcombet, Thomas ; Parys, Paweł 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Complexity of the Diagonal Problem for Recursion Schemes
  Parys, Pawel 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Complexity of Downward Closure Comparisons
  Zetzsche, Georg 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computing Downward Closures for Stacked Counter Automata
  Zetzsche, Georg 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The nature of explanation in synergetic linguistics
  Zámečník, Lukáš