Kase, Ryoichi; Nakashima, Ken Lengths of maximal green sequences for tame path algebras. (English) Zbl 07423433 Res. Math. Sci. 8, No. 4, Paper No. 59, 95 p. (2021). MSC: 16G20 06-04 16G60 PDF BibTeX XML Cite \textit{R. Kase} and \textit{K. Nakashima}, Res. Math. Sci. 8, No. 4, Paper No. 59, 95 p. (2021; Zbl 07423433) Full Text: DOI arXiv OpenURL
Mandal, Abhijit; Das, Ashoke LP-Sasakian manifolds equipped with Zamkovoy connection and conharmonic curvature tensor. (English) Zbl 1480.53065 J. Indones. Math. Soc. 27, No. 2, 137-149 (2021). MSC: 53C25 53C15 53C50 06-04 PDF BibTeX XML Cite \textit{A. Mandal} and \textit{A. Das}, J. Indones. Math. Soc. 27, No. 2, 137--149 (2021; Zbl 1480.53065) Full Text: DOI OpenURL
Chenavier, Cyrille A lattice formulation of the noncommutative \(F_4\) procedure. (English) Zbl 1417.06006 Int. J. Algebra Comput. 29, No. 1, 23-40 (2019). MSC: 06B99 06-04 13P10 68W30 16S15 16Z05 PDF BibTeX XML Cite \textit{C. Chenavier}, Int. J. Algebra Comput. 29, No. 1, 23--40 (2019; Zbl 1417.06006) Full Text: DOI OpenURL
Dvurečenskij, Anatolij; Hyčko, Marek Hyper effect algebras. (English) Zbl 1387.03072 Fuzzy Sets Syst. 326, 34-51 (2017). Reviewer: Mirko Navara (Praha) MSC: 03G12 06C15 06D35 81P10 06-04 PDF BibTeX XML Cite \textit{A. Dvurečenskij} and \textit{M. Hyčko}, Fuzzy Sets Syst. 326, 34--51 (2017; Zbl 1387.03072) Full Text: DOI OpenURL
Henson, Joe; Rideout, David; Sorkin, Rafael D.; Surya, Sumati Onset of the asymptotic regime for (uniformly random) finite orders. (English) Zbl 1367.05011 Exp. Math. 26, No. 3, 253-266 (2017). MSC: 05A16 06-04 06A07 83C45 PDF BibTeX XML Cite \textit{J. Henson} et al., Exp. Math. 26, No. 3, 253--266 (2017; Zbl 1367.05011) Full Text: DOI arXiv OpenURL
Bowles, Juliana; Caminati, Marco B. A verified algorithm enumerating event structures. (English) Zbl 1367.68245 Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 239-254 (2017). MSC: 68T15 05A15 06-04 68Q10 68U35 PDF BibTeX XML Cite \textit{J. Bowles} and \textit{M. B. Caminati}, Lect. Notes Comput. Sci. 10383, 239--254 (2017; Zbl 1367.68245) Full Text: DOI arXiv Link OpenURL
Shuchat, Alan; Shull, Randy; Trenk, Ann N. Unit interval orders of open and closed intervals. (English) Zbl 1342.06002 Order 33, No. 1, 85-99 (2016). Reviewer: Renata Majovská (Horní Suchá) MSC: 06A06 06A07 06-04 PDF BibTeX XML Cite \textit{A. Shuchat} et al., Order 33, No. 1, 85--99 (2016; Zbl 1342.06002) Full Text: DOI OpenURL
Cook, David; Mapes, Sonja; Whieldon, Gwyneth Partially ordered sets in Macaulay2. (English) Zbl 1319.06002 J. Softw. Algebra Geom. 7, 9-15 (2015). MSC: 06A07 06A11 06-04 68W30 PDF BibTeX XML Cite \textit{D. Cook} et al., J. Softw. Algebra Geom. 7, 9--15 (2015; Zbl 1319.06002) Full Text: DOI arXiv OpenURL
Gajdoš, Petr; Kuřil, Martin Ordered semigroups of size at most 7 and linearly ordered semigroups of size at most 10. (English) Zbl 1311.06013 Semigroup Forum 89, No. 3, 639-663 (2014). MSC: 06F05 06-04 20M10 PDF BibTeX XML Cite \textit{P. Gajdoš} and \textit{M. Kuřil}, Semigroup Forum 89, No. 3, 639--663 (2014; Zbl 1311.06013) Full Text: DOI OpenURL
Del Valle, Jennifer; Kreinovich, Vladik; Wojciechowski, Piotr J. Feasible algorithms for lattice and directed subspaces. (English) Zbl 1311.06016 Math. Proc. R. Ir. Acad. 114A, No. 2, 199-204 (2014). MSC: 06F25 06-04 68W30 68Q17 PDF BibTeX XML Cite \textit{J. Del Valle} et al., Math. Proc. R. Ir. Acad. 114A, No. 2, 199--204 (2014; Zbl 1311.06016) Full Text: DOI Link OpenURL
van der Merwe, Dean; Obiedkov, Sergei; Kourie, Derrick AddIntent: A new incremental algorithm for constructing concept lattices. (English) Zbl 1198.68251 Eklund, Peter (ed.), Concept lattices. Second international conference on formal concept analysis, ICFCA 2004, Sydney, Australia, February 23–26, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21043-1/pbk). Lecture Notes in Computer Science 2961. Lecture Notes in Artificial Intelligence, 372-385 (2004). MSC: 68T30 06-04 68W05 PDF BibTeX XML Cite \textit{D. van der Merwe} et al., Lect. Notes Comput. Sci. 2961, 372--385 (2004; Zbl 1198.68251) Full Text: DOI OpenURL
Freese, Ralph Automated lattice drawing. (English) Zbl 1198.06001 Eklund, Peter (ed.), Concept lattices. Second international conference on formal concept analysis, ICFCA 2004, Sydney, Australia, February 23–26, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21043-1/pbk). Lecture Notes in Computer Science 2961. Lecture Notes in Artificial Intelligence, 112-127 (2004). MSC: 06-04 06B99 68U05 PDF BibTeX XML Cite \textit{R. Freese}, Lect. Notes Comput. Sci. 2961, 112--127 (2004; Zbl 1198.06001) Full Text: DOI OpenURL
Valtchev, Petko; Hacene, Mohamed Rouane; Missaoui, Rokia A generic scheme for the design of efficient on-line algorithms for lattices. (English) Zbl 1274.68502 de Moor, Aldo (ed.) et al., Conceptual structures for knowledge creation and communication. 11th international conference on conceptual structures, ICCS 2003, Dresden, Germany, July 21–25, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40576-3/pbk). Lect. Notes Comput. Sci. 2746, 282-295 (2003). MSC: 68T30 06-04 68W27 PDF BibTeX XML Cite \textit{P. Valtchev} et al., Lect. Notes Comput. Sci. 2746, 282--295 (2003; Zbl 1274.68502) Full Text: DOI OpenURL
McCune, William; Veroff, Robert; Fitelson, Branden; Harris, Kenneth; Feist, Andrew; Wos, Larry Short single axioms for Boolean algebra. (English) Zbl 1014.06012 J. Autom. Reasoning 29, No. 1, 1-16 (2002). MSC: 06E05 06-04 68T15 PDF BibTeX XML Cite \textit{W. McCune} et al., J. Autom. Reasoning 29, No. 1, 1--16 (2002; Zbl 1014.06012) Full Text: DOI OpenURL
Goeman, Heiko Time and space efficient algorithms for decomposition of certain partially ordered sets. (English) Zbl 1015.06001 Bayreuther Mathematische Schriften 65. Bayreuth: Univ. Bayreuth, Mathematisches Institut, Bonn: Univ. Bonn, Institut für Informatik (Thesis 2000), 121 p. (2002). Reviewer: K.G.Brokate (Leonberg) MSC: 06-02 68-02 06-04 06A06 20M35 68Q25 68R15 68T10 68U15 68W05 68W40 92E10 PDF BibTeX XML Cite \textit{H. Goeman}, Time and space efficient algorithms for decomposition of certain partially ordered sets. Bayreuth: Univ. Bayreuth, Mathematisches Institut; Bonn: Univ. Bonn, Institut für Informatik (Thesis 2000) (2002; Zbl 1015.06001) OpenURL
Brinkmann, Gunnar; McKay, Brendan D. Posets on up to 16 points. (English) Zbl 1006.06003 Order 19, No. 2, 147-179 (2002). MSC: 06A07 06A11 05A15 06-04 54D10 PDF BibTeX XML Cite \textit{G. Brinkmann} and \textit{B. D. McKay}, Order 19, No. 2, 147--179 (2002; Zbl 1006.06003) Full Text: DOI OpenURL
Korsh, James F.; LaFollette, Paul S. Loopless generation of linear extensions of a poset. (English) Zbl 1006.06001 Order 19, No. 2, 115-126 (2002). MSC: 06A05 68R05 06-04 PDF BibTeX XML Cite \textit{J. F. Korsh} and \textit{P. S. LaFollette}, Order 19, No. 2, 115--126 (2002; Zbl 1006.06001) Full Text: DOI OpenURL
Grabowski, Adam Robbins algebras vs. Boolean algebras. (English) Zbl 0984.06500 Buchberger, Bruno (ed.) et al., Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24-26, 2001. Linz: Univ. Linz, 12 p. (2001). MSC: 06E05 68T15 06-04 PDF BibTeX XML Cite \textit{A. Grabowski}, in: Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24--26, 2001. Linz: Univ. Linz. 12 p. (2001; Zbl 0984.06500) Full Text: Link OpenURL
Freese, Ralph; Ježek, Jaroslav; Nation, J. B. Lattices with large minimal extensions. (English) Zbl 0980.06003 Algebra Univers. 45, No. 2-3, 221-310 (2001). Reviewer: Ivan Chajda (Olomouc) MSC: 06B05 06B23 06-04 68W05 PDF BibTeX XML Cite \textit{R. Freese} et al., Algebra Univers. 45, No. 2--3, 221--310 (2001; Zbl 0980.06003) OpenURL
Ježek, Jaroslav; Slavík, Václav Random posets, lattices, and lattices terms. (English) Zbl 0967.06005 Math. Bohem. 125, No. 2, 129-133 (2000). MSC: 06B25 06-04 06A06 PDF BibTeX XML Cite \textit{J. Ježek} and \textit{V. Slavík}, Math. Bohem. 125, No. 2, 129--133 (2000; Zbl 0967.06005) Full Text: EuDML OpenURL
Khamis, Soheir M. On numerical counting of prime, UPO, and the general type of posets according to heights. (English) Zbl 0977.06001 Congr. Numerantium 146, 157-171 (2000). MSC: 06A07 06-04 05C30 PDF BibTeX XML Cite \textit{S. M. Khamis}, Congr. Numerantium 146, 157--171 (2000; Zbl 0977.06001) OpenURL
Spinks, M. On middle distributivity for skew lattices. (English) Zbl 0964.06004 Semigroup Forum 61, No. 3, 341-345 (2000). MSC: 06B05 06-04 06B20 PDF BibTeX XML Cite \textit{M. Spinks}, Semigroup Forum 61, No. 3, 341--345 (2000; Zbl 0964.06004) Full Text: DOI OpenURL
Padmanabhan, R.; Penner, P. A hyperbase for binary lattice hyperidentities. (English) Zbl 0945.06004 J. Autom. Reasoning 24, No. 3, 365-370 (2000). MSC: 06B20 06-04 68T15 68W30 PDF BibTeX XML Cite \textit{R. Padmanabhan} and \textit{P. Penner}, J. Autom. Reasoning 24, No. 3, 365--370 (2000; Zbl 0945.06004) Full Text: DOI OpenURL
Kehayopulu, Niovi; Alex, Stelios The determination of finite non-isomorphic ordered semigroups using Turbo Pascal 6. 0. (English) Zbl 0938.06500 Sci. Math. 1, No. 3, 283-286 (1998). MSC: 06-04 06F05 PDF BibTeX XML Cite \textit{N. Kehayopulu} and \textit{S. Alex}, Sci. Math. 1, No. 3, 283--286 (1998; Zbl 0938.06500) OpenURL
Bayoumi, B. I.; El-Zahar, M. H.; Khamis, S. M. Algorithmic counting of types of UPO graphs and posets. (English) Zbl 0971.06002 Congr. Numerantium 127, 117-122 (1997). MSC: 06A07 05C30 06-04 68R05 68R10 05C85 PDF BibTeX XML Cite \textit{B. I. Bayoumi} et al., Congr. Numerantium 127, 117--122 (1997; Zbl 0971.06002) OpenURL
McCune, William Solution of the Robbins problem. (English) Zbl 0883.06011 J. Autom. Reasoning 19, No. 3, 263-276 (1997). MSC: 06E05 68T15 06-04 PDF BibTeX XML Cite \textit{W. McCune}, J. Autom. Reasoning 19, No. 3, 263--276 (1997; Zbl 0883.06011) Full Text: DOI OpenURL
McCune, W.; Padmanabhan, R. Single identities for lattice theory and for weakly associative lattices. (English) Zbl 0901.06006 Algebra Univers. 36, No. 4, 436-449 (1996). MSC: 06B20 08B05 06-04 68T15 PDF BibTeX XML Cite \textit{W. McCune} and \textit{R. Padmanabhan}, Algebra Univers. 36, No. 4, 436--449 (1996; Zbl 0901.06006) Full Text: DOI OpenURL
Freese, Ralph; Ježek, Jaroslav; Nation, J. B. Free lattices. (English) Zbl 0839.06005 Mathematical Surveys and Monographs. 42. Providence, RI: American Mathematical Society (AMS). viii, 293 p. (1995). Reviewer: M.Höft (Dearborn) MSC: 06B25 06-02 06-04 68Q25 06A06 06B20 PDF BibTeX XML Cite \textit{R. Freese} et al., Free lattices. Providence, RI: American Mathematical Society (1995; Zbl 0839.06005) OpenURL
Padmanabhan, R.; McCune, W. Single identities for ternary Boolean algebras. (English) Zbl 0811.06013 Comput. Math. Appl. 29, No. 2, 13-16 (1995). MSC: 06E99 68T15 06-04 PDF BibTeX XML Cite \textit{R. Padmanabhan} and \textit{W. McCune}, Comput. Math. Appl. 29, No. 2, 13--16 (1995; Zbl 0811.06013) Full Text: DOI OpenURL
Priestley, H. A. The determination of subvarieties of certain congruence-distributive varieties. (English) Zbl 0816.08008 Algebra Univers. 32, No. 1, 44-62 (1994). Reviewer: M.V.Volkov (Ekaterinburg) MSC: 08B10 06D30 08-04 06-04 PDF BibTeX XML Cite \textit{H. A. Priestley}, Algebra Univers. 32, No. 1, 44--62 (1994; Zbl 0816.08008) Full Text: DOI OpenURL
Weber, Hans There are orthomodular lattices without non-trivial group-valued states: A computer-based construction. (English) Zbl 0797.06010 J. Math. Anal. Appl. 183, No. 1, 89-93 (1994). MSC: 06C15 06-04 PDF BibTeX XML Cite \textit{H. Weber}, J. Math. Anal. Appl. 183, No. 1, 89--93 (1994; Zbl 0797.06010) Full Text: DOI OpenURL
Chaunier, Claude; Lygerōs, Nik The number of nonisomorphic posets having 12 elements. (Le nombre de posets à isomorphie près ayant 12 éléments.) (French) Zbl 0791.06008 Theor. Comput. Sci. 123, No. 1, 89-94 (1994). MSC: 06A07 06-04 05A15 PDF BibTeX XML Cite \textit{C. Chaunier} and \textit{N. Lygerōs}, Theor. Comput. Sci. 123, No. 1, 89--94 (1994; Zbl 0791.06008) Full Text: DOI OpenURL
Berg, Lothar; Peters, Wolfgang Die linearen involutorischen Halbgruppen achter Ordnung. (German) Zbl 0789.06009 Rostocker Math. Kolloq. 46, 35-44 (1993). Reviewer: J.Ševečková (Brno) MSC: 06F05 20M14 06-04 PDF BibTeX XML Cite \textit{L. Berg} and \textit{W. Peters}, Rostocker Math. Kolloq. 46, 35--44 (1993; Zbl 0789.06009) OpenURL
Lygerōs, N. “Proof” and the empire of mathematics. (“Demonstration” et empire mathématique.) (French) Zbl 0815.06004 Singularité 3, No. 3, 17-22 (1992). MSC: 06A07 00A35 06-04 00A30 03A05 PDF BibTeX XML Cite \textit{N. Lygerōs}, Singularité 3, No. 3, 17--22 (1992; Zbl 0815.06004) OpenURL
Mitra, A. K. A C-version of minimal Boolean sum-of-product forms. (English) Zbl 0743.94025 Appl. Math. Comput. 47, No. 2-3, 91-108 (1992). MSC: 94C10 06E30 06-04 94-04 PDF BibTeX XML Cite \textit{A. K. Mitra}, Appl. Math. Comput. 47, No. 2--3, 91--108 (1992; Zbl 0743.94025) Full Text: DOI OpenURL
Chaunier, Claude; Lygerōs, Nik The number of orders with thirteen elements. (English) Zbl 0767.06004 Order 9, No. 3, 203-204 (1992). MSC: 06A07 06-04 05C30 PDF BibTeX XML Cite \textit{C. Chaunier} and \textit{N. Lygerōs}, Order 9, No. 3, 203--204 (1992; Zbl 0767.06004) Full Text: DOI OpenURL
Brightwell, Graham; Wright, Colin The 1/3-2/3 conjecture for 5-thin posets. (English) Zbl 0777.06001 SIAM J. Discrete Math. 5, No. 4, 467-474 (1992). Reviewer: M.Höft (Dearborn) MSC: 06A06 06-04 PDF BibTeX XML Cite \textit{G. Brightwell} and \textit{C. Wright}, SIAM J. Discrete Math. 5, No. 4, 467--474 (1992; Zbl 0777.06001) Full Text: DOI OpenURL
Aeschlimann, A.; Schmid, J. Drawing orders using less ink. (English) Zbl 0769.06001 Order 9, No. 1, 5-13 (1992). Reviewer: R.Nehse (Ilmenau) MSC: 06A06 90C35 06-04 PDF BibTeX XML Cite \textit{A. Aeschlimann} and \textit{J. Schmid}, Order 9, No. 1, 5--13 (1992; Zbl 0769.06001) Full Text: DOI OpenURL
Winker, S. Absorption and idempotency criteria for a problem in near-Boolean algebras. (English) Zbl 0763.06004 J. Algebra 153, No. 2, 414-423 (1992). MSC: 06E99 06-04 PDF BibTeX XML Cite \textit{S. Winker}, J. Algebra 153, No. 2, 414--423 (1992; Zbl 0763.06004) Full Text: DOI OpenURL
Lygerōs, N. Exhaustive calculi on posets of at most 7 elements. (Calculs exhaustifs sur les posets d’au plus 7 éléments.) (French) Zbl 0815.06003 Singularité 2, No. 4, 10-24 (1991). MSC: 06A07 06-04 PDF BibTeX XML Cite \textit{N. Lygerōs}, Singularité 2, No. 4, 10--24 (1991; Zbl 0815.06003) OpenURL
Hazim-Sharif, W.; Lygerōs, N. Unimodality of small posets. (Unimodalité des petits posets.) (French) Zbl 0815.06005 Singularité 2, No. 8, 7-8 (1991). MSC: 06A07 06-04 PDF BibTeX XML Cite \textit{W. Hazim-Sharif} and \textit{N. Lygerōs}, Singularité 2, No. 8, 7--8 (1991; Zbl 0815.06005) OpenURL
Pelc, Andrzej; Rival, Ivan Orders with level diagrams. (English) Zbl 0721.06002 Eur. J. Comb. 12, No. 1, 61-68 (1991). Reviewer: K.Engel (Rostock) MSC: 06A07 06-04 68R10 05C20 68W10 PDF BibTeX XML Cite \textit{A. Pelc} and \textit{I. Rival}, Eur. J. Comb. 12, No. 1, 61--68 (1991; Zbl 0721.06002) Full Text: DOI OpenURL
Culberson, Joseph C.; Rawlins, Gregory J. E. New results from an algorithm for counting posets. (English) Zbl 0738.06002 Order 7, No. 4, 361-374 (1991). Reviewer: R.Firlová (Havirov-Mesto) MSC: 06A07 05C30 68R05 06-04 PDF BibTeX XML Cite \textit{J. C. Culberson} and \textit{G. J. E. Rawlins}, Order 7, No. 4, 361--374 (1991; Zbl 0738.06002) Full Text: DOI OpenURL
Jiang, Hao Computational methods in the study of finite BCK-algebras with low orders. (English) Zbl 0713.06010 Kobe J. Math. 7, No. 1, 33-46 (1990). MSC: 06F35 68W30 06-04 PDF BibTeX XML Cite \textit{H. Jiang}, Kobe J. Math. 7, No. 1, 33--46 (1990; Zbl 0713.06010) OpenURL
Gehrlein, W. V.; Fishburn, P. C. Linear extension majority cycles for small (n\(\leq 9)\) partial orders. (English) Zbl 0708.06003 Comput. Math. Appl. 20, No. 2, 41-44 (1990). Reviewer: J.Rosický MSC: 06A06 06-04 PDF BibTeX XML Cite \textit{W. V. Gehrlein} and \textit{P. C. Fishburn}, Comput. Math. Appl. 20, No. 2, 41--44 (1990; Zbl 0708.06003) Full Text: DOI OpenURL
Guénoche, A. Construction du treillis de Galois d’une relation binaire. (Building the Galois lattice of a binary relation). (French) Zbl 0707.06003 Math. Inf. Sci. Hum. 109, 41-53 (1990). Reviewer: M.Stefănescu MSC: 06A15 68R10 06-04 68W30 PDF BibTeX XML Cite \textit{A. Guénoche}, Math. Inf. Sci. Hum. 109, 41--53 (1990; Zbl 0707.06003) Full Text: Numdam EuDML OpenURL
Liu, Yongcai Minimal decomposition of Boolean algebra \(B_ 2^ n\) into chains and its maximal anti-chain. (Chinese. English summary) Zbl 0875.06007 J. Shanghai Univ. Sci. Technol. 12, No. 2, 35-43 (1989). MSC: 06E05 06E30 06-04 PDF BibTeX XML Cite \textit{Y. Liu}, J. Shanghai Univ. Sci. Technol. 12, No. 2, 35--43 (1989; Zbl 0875.06007) OpenURL
Häntzschel, Thomas; Neßelmann, Dieter Ein Algorithmus zur Untersuchung von Halbordnungen auf Cohen-Macaulay- Eigenschaft. (An algorithm recognizing the Cohen-Macaulay property of partial orders). (German) Zbl 0684.06001 Rostocker Math. Kolloq. 37, 11-18 (1989). MSC: 06A06 06-04 18G35 PDF BibTeX XML Cite \textit{T. Häntzschel} and \textit{D. Neßelmann}, Rostocker Math. Kolloq. 37, 11--18 (1989; Zbl 0684.06001) OpenURL
Haxell, P. E.; McDonald, J. J.; Thomason, S. K. Counting interval orders. (English) Zbl 0637.06002 Order 4, No. 1-3, 269-272 (1987). Reviewer: M.Stern MSC: 06A06 06-04 05A15 PDF BibTeX XML Cite \textit{P. E. Haxell} et al., Order 4, No. 1--3, 269--272 (1987; Zbl 0637.06002) Full Text: DOI OpenURL
Freese, Ralph Free lattice algorithms. (English) Zbl 0627.06010 Order 3, 331-344 (1987). Reviewer: Grigore Călugăreanu (Cluj-Napoca) MSC: 06B25 06-04 68Q25 PDF BibTeX XML Cite \textit{R. Freese}, Order 3, 331--344 (1987; Zbl 0627.06010) Full Text: DOI OpenURL
Janes, Robert; Gaskill, Herbert An algorithm for the generation and display of finite geometric lattices. (English) Zbl 0642.06006 Numerical mathematics and computing, Proc. 15th Conf., Winnipeg/Manitoba 1985, Congr. Numerantium 52, 125-145 (1986). MSC: 06C10 06-04 PDF BibTeX XML OpenURL
Hu, Shouben; Liu, Chuchang A note on computation of the numbers of equivalent classes for the free distributive lattices. (Chinese. English summary) Zbl 0637.06009 J. Wuhan Univ., Nat. Sci. Ed. 1986, No. 1, 13-17 (1986). MSC: 06D99 06-04 PDF BibTeX XML Cite \textit{S. Hu} and \textit{C. Liu}, J. Wuhan Univ., Nat. Sci. Ed. 1986, No. 1, 13--17 (1986; Zbl 0637.06009) OpenURL
Atkinson, M. D.; Chang, H. W. Extensions of partial orders of bounded width. (English) Zbl 0632.06001 Numerical mathematics and computing, Proc. 15th Conf., Winnipeg/Manitoba 1985, Congr. Numerantium 52, 21-35 (1986). Reviewer: M. Gionfriddo MSC: 06A06 05A05 68P10 06-04 PDF BibTeX XML OpenURL
Liu, Chuchang On the derivation of formulas of the free distributive lattices by machine. (Chinese. English summary) Zbl 0601.06008 J. Wuhan Univ., Nat. Sci. Ed. 1985, No. 3, 19-28 (1985). Reviewer: Y.Liu MSC: 06D05 06-04 68T15 06B25 PDF BibTeX XML Cite \textit{C. Liu}, J. Wuhan Univ., Nat. Sci. Ed. 1985, No. 3, 19--28 (1985; Zbl 0601.06008) OpenURL
Bledsoe, W. W.; Kunen, K.; Shostak, R. Completeness results for inequality provers. (English) Zbl 0598.68059 Artif. Intell. 27, 255-288 (1985). Reviewer: J.Šajda MSC: 68T15 06-04 06A05 PDF BibTeX XML Cite \textit{W. W. Bledsoe} et al., Artif. Intell. 27, 255--288 (1985; Zbl 0598.68059) Full Text: DOI OpenURL
Faigle, Ulrich; Schrader, Rainer A setup heuristic for interval orders. (English) Zbl 0576.90097 Oper. Res. Lett. 4, 185-188 (1985). MSC: 90C90 91B08 06-04 90B50 65K05 PDF BibTeX XML Cite \textit{U. Faigle} and \textit{R. Schrader}, Oper. Res. Lett. 4, 185--188 (1985; Zbl 0576.90097) Full Text: DOI OpenURL
Narushima, Hiroshi; Minezaki, Toshiya; Koriyama, Akira A necessary and sufficient condition for a simplicial complex to be an order complex and its checking computer algorithm. (English) Zbl 0576.06002 Proc. Fac. Sci. Tokai Univ. 20, 35-43 (1985). Reviewer: C.S.Hoo MSC: 06A06 06-04 55U15 PDF BibTeX XML Cite \textit{H. Narushima} et al., Proc. Fac. Sci. Tokai Univ. 20, 35--43 (1985; Zbl 0576.06002) OpenURL
Lomecky, Z. Algorithms for the computation of free lattices. (English) Zbl 0589.06003 Computer algebra, EUROCAM ’82, Conf. Marseille/France 1982, Lect. Notes Comput. Sci. 144, 223-230 (1982). MSC: 06B25 06-04 PDF BibTeX XML OpenURL
Croitoru, Cornelius An analysis of the greedy algorithm for partially ordered sets. (English) Zbl 0479.06002 Discrete Appl. Math. 4, 113-117 (1982). MSC: 06A06 06-04 PDF BibTeX XML Cite \textit{C. Croitoru}, Discrete Appl. Math. 4, 113--117 (1982; Zbl 0479.06002) Full Text: DOI OpenURL
Chaudhuri, Niranjan-Prasad; Mohammad, Abdul-Aali Jasim Representation of a poset of n elements by a matrix of the family \(M^{(n)}_p\) and the computation of the number of non-isomorphic posets of n elements. (English) Zbl 0517.06001 Libyan J. Sci. 11, 25-36 (1981). MSC: 06A06 05A15 06-04 PDF BibTeX XML Cite \textit{N.-P. Chaudhuri} and \textit{A.-A. J. Mohammad}, Libyan J. Sci. 11, 25--36 (1981; Zbl 0517.06001) OpenURL
Gardeñes, Ernest; Trepat, Albert; Janer, Josep M. SIGLA-PL/1. Development and applications. (English) Zbl 0544.65044 Interval mathematics, Proc. int. Symp., Freiburg/Ger. 1980, 301-315 (1980). Reviewer: K.Nickel MSC: 65K99 65G30 06A06 91B50 06-04 62-04 PDF BibTeX XML OpenURL
Michaud, Pierre; Marcotorchino, Francois Modeles d’optimisation en analyse des données rélationnelles. (French) Zbl 0446.62058 Math. Sci. Hum. 67, 7-38 (1979). MSC: 62H30 65C99 65D15 05C35 06-04 PDF BibTeX XML Cite \textit{P. Michaud} and \textit{F. Marcotorchino}, Math. Sci. Hum. 67, 7--38 (1979; Zbl 0446.62058) Full Text: Numdam EuDML OpenURL
Faigle, Ulrich The greedy algorithm for partially ordered sets. (English) Zbl 0435.06003 Discrete Math. 28, 153-159 (1979). MSC: 06A06 06-04 05C35 PDF BibTeX XML Cite \textit{U. Faigle}, Discrete Math. 28, 153--159 (1979; Zbl 0435.06003) Full Text: DOI OpenURL
Kyuno, Shoji An inductive algorithm to construct finite lattices. (English) Zbl 0422.06006 Math. Comput. 33, 409-421 (1979). MSC: 06B99 06-04 PDF BibTeX XML Cite \textit{S. Kyuno}, Math. Comput. 33, 409--421 (1979; Zbl 0422.06006) Full Text: DOI OpenURL
Jacquet-Lagreze, E. Représentation de quasi-ordres et de rélations probabilistes transitives sous forme standard et méthodes d’approximation. (French) Zbl 0413.06001 Math. Sci. Hum. 63, 5-24 (1978). MSC: 06A06 60B99 06-04 PDF BibTeX XML Cite \textit{E. Jacquet-Lagreze}, Math. Sci. Hum. 63, 5--24 (1978; Zbl 0413.06001) Full Text: Numdam EuDML OpenURL
Jacquet-Lagreze, E. Problèmes d’approximation des rélations binaires par des quasi-ordres. (French) Zbl 0406.06002 Actes du Colloq. Algèbre appliquée et combinatoire, Grenoble 1978, 188 (1978). MSC: 06A06 06-04 60B99 PDF BibTeX XML OpenURL
Hutchinson, George; Czedli, Gabor A test for identities satisfied in lattices of submodules. (English) Zbl 0384.06009 Algebra Univers. 8, 269-309 (1978). MSC: 06B20 08A50 08B05 06-04 06C20 13C99 51D25 51D30 16Gxx PDF BibTeX XML Cite \textit{G. Hutchinson} and \textit{G. Czedli}, Algebra Univers. 8, 269--309 (1978; Zbl 0384.06009) Full Text: DOI OpenURL
Fiala, F. Solution of equations in a Boolean ring. (English) Zbl 0391.94031 Util. Math. 12, 65-74 (1977). MSC: 94C10 06E20 06-04 94-04 PDF BibTeX XML Cite \textit{F. Fiala}, Util. Math. 12, 65--74 (1977; Zbl 0391.94031) OpenURL
Lavallee, Ivan Reconnaissance du caractère distributif d’un treillis fini. (French) Zbl 0335.06007 C. R. Acad. Sci., Paris, Sér. A 282, 1339-1341 (1976). MSC: 06D05 06-04 PDF BibTeX XML Cite \textit{I. Lavallee}, C. R. Acad. Sci., Paris, Sér. A 282, 1339--1341 (1976; Zbl 0335.06007) OpenURL
Strassen, V. Berechnungen in partiellen Algebren endlichen Typs. (German) Zbl 0265.68030 Computing 11, 181-196 (1973). MSC: 68Q25 08Axx 08-04 20-04 13-04 12-04 06-04 PDF BibTeX XML Cite \textit{V. Strassen}, Computing 11, 181--196 (1973; Zbl 0265.68030) Full Text: DOI OpenURL