The following pages link to (Q4530231):
Displaying 50 items.
- Maximal traces and path-based coalgebraic temporal logics (Q639645) (← links)
- Remarks on homomorphism-homogeneous lattices and semilattices (Q639949) (← links)
- Power contexts and their concept lattices (Q641167) (← links)
- Approximation of sets based on partial covering (Q642525) (← links)
- A geometric connection to threshold logic via cubical lattices (Q646706) (← links)
- Representation of Nelson algebras by rough sets determined by quasiorders (Q647309) (← links)
- On canonicity of poset expansions (Q651383) (← links)
- Crown-free lattices and their related graphs (Q651416) (← links)
- Endolocality meets homomorphism-homogeneity: A new approach in the study of relational algebras (Q652515) (← links)
- Grammar semantics, analysis and parsing by abstract interpretation (Q655410) (← links)
- On the Dedekind-MacNeille completion and formal concept analysis based on multilattices (Q679831) (← links)
- Constraint heterogeneous concept lattices and concept lattices with heterogeneous hedges (Q679835) (← links)
- On multi-adjoint concept lattices based on heterogeneous conjunctors (Q690922) (← links)
- Priestley duality for paraconsistent Nelson's logic (Q708928) (← links)
- Concept lattices of isotone vs. antitone Galois connections in graded setting: mutual reducibility revisited (Q712683) (← links)
- Permutation complexity via duality between values and orderings (Q720701) (← links)
- The homomorphism lattice induced by a finite algebra (Q722581) (← links)
- A classification of countable lower 1-transitive linear orders (Q722583) (← links)
- A spectral-style duality for distributive posets (Q722594) (← links)
- On the lattices of \(L\)-topologies (Q723214) (← links)
- Rough sets induced by ideals in lattices (Q726323) (← links)
- Deadlock analysis of unbounded process networks (Q729810) (← links)
- Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness (Q730088) (← links)
- Frame rule for mutually recursive procedures manipulating pointers (Q732009) (← links)
- Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
- A survey on fuzzy relational equations. I: Classification and solvability (Q735225) (← links)
- Beneš's partial model of NF: an old result revisited (Q740207) (← links)
- A systematic methodology for automated theorem finding (Q744079) (← links)
- Skolemizing algebraically closed universal classes of algebras (Q745717) (← links)
- Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
- Correct hardware synthesis (Q766178) (← links)
- The category of G-posets (Q776993) (← links)
- Convolution operators on weighted spaces of continuous functions and supremal convolution (Q778055) (← links)
- Fuzzy alternating automata over distributive lattices (Q781276) (← links)
- Generalizing Galvin and Jónsson's classification to \(N_5\) (Q783290) (← links)
- Using interval arithmetic to prove that a set is path-connected (Q817868) (← links)
- \textit{SI}-convergence in \(T_0\) spaces (Q820681) (← links)
- Modeling misconceptions in knowledge space theory (Q826913) (← links)
- Order cones: a tool for deriving \(k\)-dimensional faces of cones of subfamilies of monotone games (Q827276) (← links)
- A characterization of \(c\)-type subrings of \(C(X)\) of some kind (Q830330) (← links)
- On Stalnaker's simple theory of propositions (Q830370) (← links)
- Raney algebras and duality for \(T_0\)-spaces (Q831312) (← links)
- From IF to BI. A tale of dependence and separation (Q833040) (← links)
- A note on cut-worthiness of recognizable tree series (Q835283) (← links)
- Specialization models for a general fuzzy set covering framework (Q853401) (← links)
- Even poset and a parity result for binary linear code (Q855546) (← links)
- Generalized ultrametric spaces in quantitative domain theory (Q859838) (← links)
- The combination technique and some generalisations (Q860989) (← links)
- Descending chains and antichains of the unary, linear, and monotone subfunction relations (Q862976) (← links)
- Finite distributive concept algebras (Q862985) (← links)
