community

active

leiden_hybrid_concepts

label: sonnet

community:leiden_hybrid_concepts-run2-c111

Order theory in computer science

Partial orders unify size, information, and definedness across CS domains via lattice-theoretic models.

2 members. Each node is clickable.

Loading graph…

Drawn from 1 source

The papers/notes whose extracted claims & findings make up this cluster.

Ordered Sets and Complete Lattices: A Primer for Computer Science2 members

Bridges (3)

Other communities that share members with this one — cross-cutting threads or papers that sit at the seam between two themes.

Claims (1)

Order provides terminology, notation, and models across diverse areas of computer science including comparisons of size, information content, and definedness.

Findings (1)

Input-Output Relations as Ordered ConceptsDiagrammatic encoding of program behavior via concept lattices reveals reachability structure and non-determinism without fixed calculational rules.