Tableaux for Lattices

DOI10.1007/11784180_25zbMATH Open1236.03014OpenAlexW1483134989MaRDI QIDQ3623943FDOQ3623943

Georg Struth

Publication date: 28 April 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11784180_25

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Mechanization of proofs and logical operations (03B35) Free lattices, projective lattices, word problems (06B25)

Cited In (6)

• Plactic relations for \(r\)-domino tableaux
• Laver tables and combinatorics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Tableau complexes
• New Lilliefors and Srinivasan tables with applications

This page was built for publication: Tableaux for Lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3623943)