Found 80 Documents (Results 1–80)
Efficient enumeration of drawings and combinatorial structures for maximal planar graphs. (English) Zbl 07883880
Uehara, Ryuhei (ed.) et al., WALCOM: algorithms and computation. 18th international conference and workshops on algorithms and computation, WALCOM 2024, Kanazawa, Japan, March 18–20, 2024. Proceedings. Singapore: Springer. Lect. Notes Comput. Sci. 14549, 350-364 (2024).
MSC:
68Wxx
Ungarian Markov chains. (English) Zbl 07790304
A new type of polytomous surmise system. (English) Zbl 1527.91137
MSC:
91E40
On the correspondence between granular polytomous spaces and polytomous surmising functions. (English) Zbl 1519.91202
MSC:
91E40
The categorical equivalence between domains and interpolative generalized closure spaces. (English) Zbl 07677356
MSC:
03-XX
Complete \(Q\)-matrices in conjunctive models on general attribute structures. (English) Zbl 1534.62195
MSC:
62P15
Towards distributivity in FCA for phylogenetic data. (English) Zbl 1529.68295
Missaoui, Rokia (ed.) et al., Complex data analytics with formal concept analysis. Cham: Springer. 225-237 (2022).
On Galois connections between polytomous knowledge structures and polytomous attributions. (English) Zbl 1501.91146
Combinatorial optimization. Abstracts from the workshop held November 7–13, 2021 (hybrid meeting). (English) Zbl 1506.00035
Descending the stable matching lattice: how many strategic agents are required to turn pessimality to optimality? (English) Zbl 1490.91144
Caragiannis, Ioannis (ed.) et al., Algorithmic game theory. 14th international symposium, SAGT 2021, Aarhus, Denmark, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12885, 281-295 (2021).
MSC:
91B68
Characterization of super-stable matchings. (English) Zbl 07498698
Lubiw, Anna (ed.) et al., Algorithms and data structures. 17th international symposium, WADS 2021, virtual event, August 9–11, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12808, 485-498 (2021).
Affinely representable lattices, stable matchings, and choice functions. (English) Zbl 1482.90181
Singh, Mohit (ed.) et al., Integer programming and combinatorial optimization. 22nd international conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12707, 89-103 (2021).
MSC:
90C27
On the correspondence between knowledge structures and attribution functions. (English) Zbl 1475.91273
MSC:
91E40
The fundamental theorem of finite semidistributive lattices. (English) Zbl 1485.06003
Reviewer: Ivan Chajda (Přerov)
Free Heyting algebra endomorphisms: Ruitenburg’s theorem and beyond. (English) Zbl 1530.06006
MSC:
06D20
Closure and preferences. (English) Zbl 1434.91028
Guarded cubical type theory. (English) Zbl 1477.03034
On comparability of bigrassmannian permutations. (English) Zbl 1404.05006
MSC:
05A05
Tarski’s theorem on intuitionistic logic, for polyhedra. (English) Zbl 1390.03015
Reviewer: Jānis Cīrulis (Riga)
Eilenberg theorems for free. (English) Zbl 1441.68139
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 43, 15 p. (2017).
MSC:
68Q70
Eccentricity, center and radius computations on the cover graphs of distributive lattices with applications to stable matchings. (English) Zbl 1333.05236
A linear/producer/consumer model of classical linear logic. (English) Zbl 1486.03110
Alves, Sandra (ed.) et al., Proceedings of the third international workshop on linearity, LINEARITY 2014, Vienna, Austria, July 13, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 176, 9-23 (2015).
Varieties of languages in a category. (English) Zbl 1401.68212
Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 414-425 (2015).
Shortest reconfiguration paths in the solution space of Boolean formulas. (English) Zbl 1374.68246
Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-47671-0/pbk; 978-3-662-47672-7/ebook). Lecture Notes in Computer Science 9134, 985-996 (2015).
Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets. (English) Zbl 1316.06011
A general duality theory for clones. (English) Zbl 1286.08003
Reviewer: Nelson Martins-Ferreira (Leiria)
Quantum complex projective spaces from Toeplitz cubes. (English) Zbl 1257.46040
Reviewer: Igor V. Nikolaev (Ottawa)
A poset-based approach to embedding median graphs in hypercubes and lattices. (English) Zbl 1237.05133
The complete principal divisor lattices. (English) Zbl 1218.06004
Reviewer: Marius Tărnăuceanu (Iaşi)
Digital Khalimsky manifolds. (English) Zbl 1523.68125
MSC:
68U03
Sublattices of product spaces: Hulls, representations and counting. (English) Zbl 1170.06002
Reviewer: T. Katriňák (Bratislava)
The correlational agreement coefficient CA(\(\leq,D\))—a mathematical analysis of a descriptive goodness-of-fit measure. (English) Zbl 1120.91027
MSC:
91E40
The duality between the anti-exchange closure operators and the path independent choice operators on a finite set. (English) Zbl 0994.91012
Reviewer: M.Salles (Caen)
Which modal logic is the right one? (English) Zbl 0972.03018
MSC:
03B45
A Boolean approach to the measurement of group processes and attitudes. The concept of integration as an example. (English) Zbl 0937.91084
MSC:
91B99
On a dependence relation in finite lattices. (English) Zbl 0870.06003
MSC:
06B05
An almost general splitting theorem for modal logic. (English) Zbl 0732.03012
Reviewer: L.Esakia (Tbilisi)
Parametrization of knowledge structures. (English) Zbl 0688.68086
Reviewer: W.Bartol
A decomposition of distributive lattices. (English) Zbl 0563.06010
Reviewer: Ch.Herrmann
MSC:
06D05
Powers of ordered sets. (English) Zbl 0561.06005
Reviewer: E.Fuchs
MSC:
06A06
Canonical decompositions in complete lattices. (English. Russian original) Zbl 0429.06001
Algebra Logic 17, 323-332 (1979); translation from Algebra Logika 17, 495-511 (1978).
Imbedding infinitely distributive lattices completely isomorphically into Boolean algebras. (English) Zbl 0132.26203
Filter Results by …
Document Type
- Journal Articles (71)
- Collection Articles (9)
all
top 5
Author
- Cheng, Christine T. (3)
- Ge, Xun (3)
- Järvinen, Jouni (3)
- Ünlü, Ali (3)
- Adámek, Jiří (2)
- Anselmi, Pasquale (2)
- Bodzenta, Agnieszka (2)
- Bondal, Alexey I. (2)
- Colomb, Pierre (2)
- de Chiusole, Debora (2)
- Defant, Colin (2)
- Fujishige, Satoru (2)
- Irlande, Alexis (2)
- Kerkhoff, Sebastian (2)
- Knauer, Kolja B. (2)
- Li, Qingguo (2)
- Marra, Vincenzo (2)
- Milius, Stefan (2)
- Monjardet, Bernard (2)
- Mouawad, Amer E. (2)
- Nishimura, Naomi (2)
- Pathak, Vinayak (2)
- Radeleczki, Sándor (2)
- Raman, Venkatesh (2)
- Raynaud, Olivier (2)
- Renaud, Yoan (2)
- Spoto, Andrea (2)
- Stefanutti, Luca (2)
- Suzuki, Ichiro (2)
- Urbat, Henning (2)
- Wang, Longchun (2)
- Aardal, Karen I. (1)
- Albert, Dietrich (1)
- Ando, Kazutoshi (1)
- Ardila, Federico (1)
- Bastidas, Hanner (1)
- Bezhanishvili, Nick (1)
- Birkedal, Lars (1)
- Bizjak, Aleš (1)
- Botero, William J. Zuluaga (1)
- Burgess, John P. (1)
- Calomino, Ismael (1)
- Caspard, Nathalie (1)
- Ceballos, Cesar (1)
- Chambers, Christopher P. (1)
- Chen, Liang-Ting (1)
- Chen, Zhuoheng (1)
- Clouston, Ranald A. (1)
- Combe, Camille (1)
- Couceiro, Miguel (1)
- Couprie, Michel (1)
- Da Lozzo, Giordano (1)
- Davey, Brian A. (1)
- Di Battista, Giuseppe (1)
- Doignon, Jean-Paul (1)
- Duffus, Dwight (1)
- Dzik, Wojciech (1)
- Engbers, John (1)
- Faenza, Yuri (1)
- Falmagne, Jean-Claude (1)
- Felsner, Stefan (1)
- Frati, Fabrizio (1)
- Fujii, Kaito (1)
- Funayama, Nenosuke (1)
- Fussner, Wesley (1)
- Gehrke, Mai (1)
- Gély, Alain (1)
- Ghilardi, Silvio (1)
- González, Luciano Javier (1)
- Gorbunov, Viktor Aleksandrovich (1)
- Gragg, Karen M. (1)
- Grathwohl, Hans Bugge (1)
- Grosso, Fabrizio (1)
- Guo, John (1)
- Hajac, Piotr M. (1)
- Hammett, Adam (1)
- Heller, Jürgen (1)
- Hu, Changyong (1)
- Iwata, Satoru (1)
- Janssens, Rudi (1)
- Jegelka, Stefanie (1)
- Kaibel, Volker (1)
- Karzanov, Aleksandr V. (1)
- Kaygun, Atabey (1)
- Kolli, Messaoud (1)
- Kondo, Michiro (1)
- Koppen, Mathieu (1)
- Kracht, Marcus (1)
- Kung, Joseph P. S. (1)
- Li, Jinjin (1)
- Li, Rupert (1)
- Lin, Shou (1)
- Liu, Guilong (1)
- Löwig, Heinrich (1)
- Malik, Waqas Ahmed (1)
- Martinez-Sandoval, Leonardo (1)
- Maxson, Carlton James (1)
- Mazo, Loïc (1)
- McDermid, Eric J. (1)
- McNeill, Daniel K. (1)
- and 49 more Authors
all
top 5
Serial
- J. Math. Psychol. (5)
- Math. Soc. Sci. (5)
- Discrete Appl. Math. (4)
- Discrete Math. (4)
- Order (3)
- Int. J. Approx. Reasoning (3)
- Stud. Log. (2)
- SIAM J. Discrete Math. (2)
- J. Math. Imaging Vis. (2)
- Appl. Categ. Struct. (2)
- Ann. Math. Artif. Intell. (2)
- Commun. Algebra (1)
- Inf. Process. Lett. (1)
- Psychometrika (1)
- Adv. Math. (1)
- Algebra Logic (1)
- Algebra Univers. (1)
- Appl. Math. Optim. (1)
- Br. J. Math. Stat. Psychol. (1)
- Czech. Math. J. (1)
- J. Comb. Theory, Ser. A (1)
- J. Math. Econ. (1)
- Math. Z. (1)
- Nagoya Math. J. (1)
- Notre Dame J. Formal Logic (1)
- Quaest. Math. (1)
- Theor. Comput. Sci. (1)
- Eur. J. Comb. (1)
- Adv. Appl. Math. (1)
- Ann. Pure Appl. Logic (1)
- Discrete Comput. Geom. (1)
- J. Autom. Reasoning (1)
- Forum Math. (1)
- Math. Bohem. (1)
- Int. J. Algebra Comput. (1)
- Math. Struct. Comput. Sci. (1)
- Australas. J. Comb. (1)
- Electron. J. Comb. (1)
- Sel. Math., New Ser. (1)
- Electron. J. Probab. (1)
- Optim. Methods Softw. (1)
- J. Interdiscip. Math. (1)
- Oberwolfach Rep. (1)
- Discrete Optim. (1)
- J. Noncommut. Geom. (1)
- Int. J. Comb. (1)
- Sci. China, Math. (1)
- Comb. Theory (1)