„higher-order recursive sche“

Suchergebnisse

3 Treffer

• Irreducible Orthogonal Decomposition of Tensors of any finite order in dimensions 2 and 3 in Deviatoric Tensors
  Barz, Anja ; Scheuermann, Gerik ; Rademacher, Hans-Bert 2022 Universitätsbibliothek Leipzig
• Ordered Tree-Pushdown Systems
  Clemente, Lorenzo ; Parys, Pawel ; Salvati, Sylvain ; Walukiewicz, Igor 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Böhm Trees as Higher-Order Recursive Schemes
  Clairambault, Pierre ; Murawski, Andrzej S. 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik