Counting Finite Residuated Lattices

DOI10.1007/978-3-540-72950-1_46zbMath1202.06010OpenAlexW1485475066MaRDI QIDQ5432291

Vilem Vychodil, Radim Bělohlávek

Publication date: 2 January 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72950-1_46

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Exact enumeration problems, generating functions (05A15) Ordered semigroups and monoids (06F05)

This page was built for publication: Counting Finite Residuated Lattices