Search results for "antitone"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
109	Jörg Flum	Games, Kernels, and Antitone Operations.	Order	2000	DBLP DOI BibTeX RDF	antitone operations, games, graphs
51	Igor V. Konnov 0002	A splitting type algorithm for multi-valued complementarity problems.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Multi-valued mappings, Z-mappings, Antitone mappings, Splitting algorithm, Jacobi algorithm, Complementarity problem
48	Ivan Chajda	Double Basic Algebras.	Order	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06D35, 06C15, 03G25, 08A65
33	Ivan Chajda, Miroslav Kolarík, Helmut Länger	Extensions of posets with an antitone involution to residuated structures.	Fuzzy Sets Syst.	2021	DBLP DOI BibTeX RDF
33	Petr Emanovský, Jan Kühr	On special elements and pseudocomplementation in lattices with antitone involutions.	Soft Comput.	2018	DBLP DOI BibTeX RDF
33	Michal Botur, Jan Kühr	On (finite) distributive lattices with antitone involutions.	Soft Comput.	2014	DBLP DOI BibTeX RDF
33	Jan Konecny 0001	Antitone L-bonds.	IPMU (3)	2014	DBLP DOI BibTeX RDF
33	Jan Kühr, Michal Botur	On (finite) distributive lattices with antitone involutions.	TACL	2013	DBLP DOI BibTeX RDF
33	Thomas Icard, Lawrence S. Moss	A Complete Calculus of Monotone and Antitone Higher-Order Functions.	TACL	2013	DBLP DOI BibTeX RDF
33	Ivan Chajda, Helmut Länger	Symmetric Differences on Posets with an Antitone Involution.	Order	2012	DBLP DOI BibTeX RDF
33	Radim Belohlávek, Jan Konecny 0001	Concept lattices of isotone vs. antitone Galois connections in graded setting: Mutual reducibility revisited.	Inf. Sci.	2012	DBLP DOI BibTeX RDF
33	Ivan Chajda, Miroslav Kolarík, Helmut Länger	Polynomial permutations on bounded commutative directoids with an antitone involution.	Soft Comput.	2011	DBLP DOI BibTeX RDF
33	Jung Mi Ko, Yong Chan Kim	Antitone Galois Connections and Formal Concepts.	Int. J. Fuzzy Log. Intell. Syst.	2010	DBLP DOI BibTeX RDF
27	Vetle I. Torvik, Evangelos Triantaphyllou	Inference of Monotone Boolean Functions.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Isotone Boolean function, Antitone Boolean function, Boolean function inference problem, Free distributive lattice, Interactive learning of Boolean functions, Shannon function, Hansel theorem, Hansel chain, Sequential Hansel chains question-asking strategy, Binary search-Hansel chains question-asking strategy, Boolean function, Conjunctive normal form, CNF, Binary search, Classification problem, Disjunctive normal form, DNF, Monotone Boolean function
27	Elisabetta Allevi, Adriana Gnudi, Igor V. Konnov 0002	An extended Gauss-Seidel method for a class of multi-valued complementarity problems.	Optim. Lett.	2008	DBLP DOI BibTeX RDF	Multi-valued mappings, Off-diagonally antitone mappings, Gauss-Seidel algorithm, Complementarity problems
27	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
27	Y. Ling	The Convex-Decomposable Operator Equation and its Monotonic Inclusive Iteration.	Computing	1996	DBLP DOI BibTeX RDF	Convex-decomposable operator, isotone, antitone, monotonic inclusive iteration
24	Wouter Kuijper, Jaco van de Pol	Computing Weakest Strategies for Safety Games of Imperfect Information.	TACAS	2009	DBLP DOI BibTeX RDF
24	Michal Botur, Radomír Halas	Complete Commutative Basic Algebras.	Order	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06D35, 06F35, 03G10
24	Anna Maria Radzikowska, Etienne E. Kerre	Fuzzy Information Relations and Operators: An Algebraic Approach Based on Residuated Lattices.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF	Information relations, Information operators, Fuzzy logical connectives, Fuzzy sets, Residuated lattices
24	Michael Huth 0001	On the Approximation of Denotational Mu-Semantics.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	least/greatest pixed, recursion, points, partial orders, denotational semantics