Search results for "Subvariety"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
56	Gábor Czédli, Miklós Maróti	Two Notes on the Variety Generated by Planar Modular Lattices.	Order	2009	DBLP DOI BibTeX RDF	Lattice variety, Subvariety, Planar, Modular lattice
39	Manuel Abad, J. Patricio Díaz Varela	Factor congruences in BCK -algebras.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Factor congruences, Implicative filters, Pocrims, Hoops, BCK-algebras, Decomposability, Free algebras
39	James Ruffo	A straightening law for the Drinfel'd Lagrangian Grassmannian.	ISSAC	2007	DBLP DOI BibTeX RDF	Drinfel'd agvarieties quasimaps, algebras with straightening law
39	Joan Gispert, Antoni Torrens	Axiomatic Extensions of IMT3 Logic.	Stud Logica	2005	DBLP DOI BibTeX RDF	IMTL-algebras, involutive monoidal t-norm logic, residu-ated lattices, many-valued logics
39	Roberto Cignoli, Antoni Torrens	Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
36	Frédéric Dambreville	Bayesian Optimization Based on Simulation Conditionally to Subvariety.	MCO	2021	DBLP DOI BibTeX RDF
36	Frédéric Dambreville	Simulating a Random Vector Conditionally to a Subvariety: A Generic Dichotomous Approach.	SIMULTECH	2021	DBLP DOI BibTeX RDF
36	Edmond W. H. Lee	Corrigendum: "minimal Semigroups Generating Varieties with Complex subvariety Lattices".	Int. J. Algebra Comput.	2008	DBLP DOI BibTeX RDF
36	Edmond W. H. Lee	Minimal Semigroups Generating Varieties with Complex subvariety Lattices.	Int. J. Algebra Comput.	2007	DBLP DOI BibTeX RDF
36	Marta A. Zander	A note on a subvariety of linear tense algebras.	Math. Log. Q.	2005	DBLP DOI BibTeX RDF
36	Tanja Lange 0001	Trace Zero Subvariety for Cryptosystems.	IACR Cryptol. ePrint Arch.	2003	DBLP BibTeX RDF
20	Stefano Aguzzoli, Simone Bova, Vincenzo Marra	Applications of Finite Duality to Locally Finite Varieties of BL-Algebras.	LFCS	2009	DBLP DOI BibTeX RDF	prime filters, free BL-algebras, subvarieties of BL-algebras, locally finite varieties, dualities, BL-algebras
20	Wen Ting Zhang, Yan Feng Luo	On Varieties Generated by Minimal Complex Semigroups.	Order	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 20M07
20	Radomír Halas	The Variety of Lattice Effect Algebras Generated by MV-algebras and the Horizontal Sum of Two 3-element Chains.	Stud Logica	2008	DBLP DOI BibTeX RDF	Lattice effect algebra, basic algebra, antitone involution, variety
20	Marta A. Zander	Decomposability of the Finitely Generated Free Hoop Residuation Algebra.	Stud Logica	2008	DBLP DOI BibTeX RDF	Hoop residuation algebras, decomposability, free algebras
20	Jie Fang	Ockham Algebras with Balanced Double Pseudocomplementation.	Stud Logica	2008	DBLP DOI BibTeX RDF	double pseudocomplementation, Ockham algebra, Priestely duality, subdirectly irreducible
20	Jin-yi Cai, Pinyan Lu	Signature Theory in Holographic Algorithms.	ISAAC	2008	DBLP DOI BibTeX RDF
20	Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra	Propositional Goedel Logic and Delannoy Paths.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
20	Keith A. Kearnes	Quasivarieties of Modules Over Path Algebras of Quivers.	Stud Logica	2006	DBLP DOI BibTeX RDF	quiver, path algebra, Quasivariety, distributive lattice
20	Constantine Tsinakis, Annika M. Wille	Minimal Varieties of Involutive Residuated Lattices.	Stud Logica	2006	DBLP DOI BibTeX RDF	involutive residuated lattice, module over a residuated lattice, minimal variety, residuated lattice
20	Clint J. van Alten	On Varieties of Biresiduation Algebras.	Stud Logica	2006	DBLP DOI BibTeX RDF	biresiduation algebra, residuated lattice, BCK-algebra
20	Antonio Di Nola, Philippe Niederkorn	Natural dualities for varieties of BL-algebras.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF
20	Éric Badouel, Jules Chenou, Goulven Guillou	Petri Algebras.	ICALP	2005	DBLP DOI BibTeX RDF
20	Stefano Aguzzoli, Brunella Gerla, Corrado Manara	Poset Representation for Gödel and Nilpotent Minimum Logics.	ECSQARU	2005	DBLP DOI BibTeX RDF
20	Antonio Di Nola, Anatolij Dvurecenskij, Jan Jakubik	Good and Bad Infinitesimals, and States on Pseudo MV-algebras.	Order	2004	DBLP DOI BibTeX RDF	unital ?-group, infinitesimal, state, ideal, pseudo MV-algebra, radical
20	Francesc Esteva, Lluís Godo, Franco Montagna	Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras.	Stud Logica	2004	DBLP DOI BibTeX RDF	t-norm algebras, axiomatization, varieties, Bl-algebras
20	Ming-Deh A. Huang, Yiu-Chung Wong	An Algorithm for Approximate Counting of Points on Algebraic Sets over Finite Fields.	ANTS	1998	DBLP DOI BibTeX RDF