The following pages link to (Q3758891):
Displayed 25 items.
- Pair algebras and Galois connections. (Q293350) (← links)
- On the definition of suitable orderings to generate adjunctions over an unstructured codomain (Q508629) (← links)
- Proving implications by algebraic approximation (Q671502) (← links)
- Operators on Pavelka's algebras induced by fuzzy relations (Q679836) (← links)
- Regular algebra applied to language problems (Q817577) (← links)
- CPS-translation as adjoint (Q1044830) (← links)
- Fuzzy relations and fuzzy relational databases (Q1179367) (← links)
- Bottom-up abstract interpretation of logic programs (Q1318725) (← links)
- Lagois connections -- a counterpart to Galois connections (Q1349662) (← links)
- Lambda-dropping: Transforming recursive equations into programs with block structure (Q1583366) (← links)
- On the antisymmetry of Galois embeddings (Q1603437) (← links)
- On the construction of adjunctions between a fuzzy preposet and an unstructured set (Q1697519) (← links)
- Programming from Galois connections (Q1931902) (← links)
- Galois connections for bilattices (Q2036385) (← links)
- Bridging the gap between fair simulation and trace inclusion (Q2486398) (← links)
- Pre-Galois Connection on Coalgebras for Generic Component Refinement (Q2873691) (← links)
- (Q4510742) (← links)
- FUZZY CONNECTIONS AND COMPLETENESS IN COMPLETE RESIDUATED LATTICES (Q5016309) (← links)
- Trace-Relating Compiler Correctness and Secure Compilation (Q5041085) (← links)
- Generating Isotone Galois Connections on an Unstructured Codomain (Q5227374) (← links)
- Upper Adjoints for Fast Inter-procedural Variable Equalities (Q5458395) (← links)
- Fuzzy Galois connections on fuzzy posets (Q5505145) (← links)
- Verification by augmented abstraction: The automata-theoretic view (Q5946060) (← links)
- Galois connecting call-by-value and call-by-name (Q6151562) (← links)
- Connections (Q6171781) (← links)