×

Found 83 Documents (Results 1–83)

Complexity of controlled bad sequences over finite sets of \(\mathbb{N}^d\). (English) Zbl 1499.06006

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 130-140 (2020).
MSC:  06A07 03D20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Analysis of the sensitivity of solutions of multicriteria problems based on parametric partial preference relations. (English. Russian original) Zbl 1429.91122

Autom. Remote Control 80, No. 7, 1294-1303 (2019); translation from Avtom. Telemekh. 2019, No. 7, 142-154 (2019).
MSC:  91B06 90C29 90C31
PDFBibTeX XMLCite
Full Text: DOI

Noetherian quasi-Polish spaces. (English) Zbl 1434.03120

Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 16, 17 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Well quasi-orders in formal language theory. (English) Zbl 1161.68024

Ito, Masami (ed.) et al., Developments in language theory. 12th international conference, DLT 2008, Kyoto, Japan, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85779-2/pbk). Lecture Notes in Computer Science 5257, 84-95 (2008).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Kruskal’s tree theorem in a constructive theory of inductive definitions. (English) Zbl 1032.03053

Schuster, Peter (ed.) et al., Reuniting the antipodes–constructive and nonstandard views of the continuum. Symposium proceedings, San Servolo, Venice, Italy, May 16-22, 1999. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 306, 241-255 (2001).
MSC:  03F65
PDFBibTeX XMLCite

On certain compatibility types of binary relations on hypergroups determined by quasi-orders. (English) Zbl 0934.20051

Chajda, I. (ed.) et al., Contributions to general algebra 11. Proceedings of the Olomouc workshop ’98 on general algebra, “56. Arbeitstagung Allgemeine Algebra”, Olomouc, Czech Republic, June 12-14, 1998 and of the summer school ’98 on universal algebra and ordered sets, Velké Karlovice, Czech Republic, August 31-September 5, 1998. Klagenfurt: Verlag Johannes Heyn. 113-125 (1999).
Reviewer: J.Duda (Brno)
MSC:  20N20 08A02 06A06
PDFBibTeX XMLCite

Quasi-orders and semilattice decompositions of semigroups. (A survey). (English) Zbl 0980.20058

Shum, Kar Ping (ed.) et al., Semigroups. Papers from the international conference on semigroups and its related topics, Kunming, China, August 18-23, 1995. Singapore: Springer. 27-56 (1998).
PDFBibTeX XMLCite

A method for searching rationality in pairwise choices. (English) Zbl 0898.90011

Fandel, Günter (ed.) et al., Multiple criteria decision making. Proceedings of the 12th international conference, Hagen, Germany, June 19–23, 1995. Berlin: Springer. Lect. Notes Econ. Math. Syst. 448, 374-382 (1997).
MSC:  91B08
PDFBibTeX XMLCite

Positive quasi-orders with the common multiple property on a semigroup. (English) Zbl 0887.20025

Kočinac, Ljubiša D. (ed.), Proceedings of the mathematical conference in Priština (YU), September 28 – October 1, 1994. Priština: Univ. of Priština, Faculty of Sciences, 1-6 (1995).
Reviewer: T.Tamura (Davis)
MSC:  20M10 06F05 06B15
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software