Pages that link to "Item:Q1836679"

The following pages link to On the word problem for the modular lattice with four free generators (Q1836679):

Displaying 9 items.

• Proof theory for linear lattices (Q1070254) (← links)
• Graphs with given automorphism group and few edge orbits (Q1176027) (← links)
• A field guide to equational logic (Q1201350) (← links)
• Join-semidistributive lattices and convex geometries. (Q1865285) (← links)
• From multiple sequent for additive linear logic to decision procedures for free lattices (Q1960422) (← links)
• The undecidability of the elementary theory of lattices of all equational theories of large signature (Q2311327) (← links)
• Gelfand-Ponomarev and Herrmann constructions for quadruples and sextuples (Q2371817) (← links)
• Computer proof of monotonicity of operations on orthomodular lattices (Q2446438) (← links)
• On the Arithmetic of Projective Coordinate Systems (Q3333090) (← links)