„Galois Connection“

Suchergebnisse

1.000+ Treffer

• An Invitation to General Algebra and Universal Constructions
  Bergman, George M. 2015 Springer International Publishing
• A General Galois Theory for Operations and Relations in Arbitrary Categories
  Kerkhoff, Sebastian 2011 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• A Relational Localisation Theory for Topological Algebras
  Schneider, Friedrich Martin ; Pöschel, Reinhard ; Kearnes, Keith 2012 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Clausal Relations and C-clones
  Vargas García, Edith Mireya ; Pöschel, Reinhard ; Denecke, Klaus 2011 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Iterative connections and Abhyankar's conjecture
  Maurischat, Andreas
• Unifying Theories of Programming – Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
  2010 Springer Berlin Heidelberg
• Unifying Theories of Programming – Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
  Qin, Shengchao 2010 Springer Berlin Heidelberg
• Exploring the Closure Operator for Minimal a, b-Separators: Insights from Galois Connections
  Nomura, Kohei ; Yamazaki, Koichi
• Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems
  Lemke, Caroline ; Bisping, Benjamin 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Contributions in Mathematics and Engineering – In Honor of Constantin Carathéodory
  Pardalos, Panos M. ; Rassias, Themistocles M. 2016 Springer International Publishing
• Reconciliation of approaches to the construction of canonical extensions of bounded lattices
  Craig, Andrew ; Haviar, Miroslav
• Some new closures on orders
  Czédli, Gábor
• Pushout Invariance Revisited
  Hager, Anthony W. ; Martínez, Jorge
• Regular monoids generated by two galois connections
  Skorsky, Martin
• Heyting Algebras with Kalman-Galois Connections
  Calomino, Ismael ; Pelaitay, Gustavo ; Valverde, Lucia Florencia
• Galois connections between sets of paths and closure operators in simple graphs
  Šlapal, Josef
• Mathematical tools for data mining – set theory, partial orders, combinatorics
  Simovici, Dan A. 2008 Springer
• Invariance groups of finite functions and orbit equivalence of permutation groups
  Horváth, Eszter K. ; Makay, Géza ; Pöschel, Reinhard ; Waldhauser, Tamás
• Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques
  D'Angelo, Keri ; Gurke, Sebastian ; Kirss, Johanna Maria ; König, Barbara ; Najafi, Matina ; Różowski, Wojciech ; Wild, Paul 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The complexity of positive first-order logic without equality II: The four-element case
  Martin, Barnaby ; Martin, Jos