Results 11 to 20 of about 348 (168)
Constructive Galois Connections [PDF]
Journal of Functional Programming, 2019 Abstract Galois connections are a foundational tool for structuring abstraction in semantics, and their use lies at the heart of the theory of abstract interpretation. Yet, mechanization of Galois connections using proof assistants remains limited to restricted modes of use, preventing their general application in
David Darais, David Van Horn
openaire +3 more sources
Programming from Galois connections [PDF]
The Journal of Logic and Algebraic Programming, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Shin-Cheng Mu, José Nuno Oliveira
openaire +6 more sources
Galois Connections and Data Mining [PDF]
J. Univers. Comput. Sci., 2000 JUCS - Journal of Universal Computer Science Volume Nr.
Cristofor,Dana +2 more
openaire +4 more sources
An Explanation of the Landauer bound and its ineffectiveness with regard to multivalued logic
Technical Transactions, 2020 We discuss, using recent results on the thermodynamics of multivalued logic, the difficulties and pitfalls of how to apply the Landauer’s principle to thermodynamic computer memory models. The presentation is based on Szilard’s version of Maxwell’s demon
Kycia Radosław A. +1 more
doaj +1 more source
Galois connections between sets of paths and closure operators in simple graphs
Open Mathematics, 2018 For every positive integer n,we introduce and discuss an isotone Galois connection between the sets of paths of lengths n in a simple graph and the closure operators on the (vertex set of the) graph.
Šlapal Josef
doaj +1 more source
A domain-theoretic investigation of posets of sub-sigma-algebras (extended abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Given a measurable space (X, M) there is a (Galois) connection between sub-sigma-algebras of M and equivalence relations on X. On the other hand equivalence relations on X are closely related to congruences on stochastic relations.
Ingo Battenfeld
doaj +1 more source
New directions in general fuzzy automata: a dynamic-logical view [PDF]
AUT Journal of Mathematics and Computing, 2020 In the current study, by a general fuzzy automaton we aim at showing a set of propositions related to a given automaton showing that the truth-values are depended on thestates, inputs and membership values of active states at time t.
Khadijeh Abolpour +2 more
doaj +1 more source
Lagois connections — a counterpart to Galois connections
Theoretical Computer Science, 1994 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Austin Melton +2 more
openaire +1 more source
Computing character degrees via a Galois connection [PDF]
International Journal of Group Theory, 2015 In a previous paper, the second author established that, given finite fields ...
Mark L. Lewis , John K. McVey
doaj
Self-Dual Normal Basis of a Galois Ring
Journal of Mathematics, 2014 Let R′=GR(ps,psml) and R=GR(ps,psm) be two Galois rings. In this paper, we show how to construct normal basis in the extension of Galois rings, and we also define weakly self-dual normal basis and self-dual normal basis for R′ over R, where R′ is ...
Irwansyah +3 more
doaj +1 more source