×

Found 32 Documents (Results 1–32)

A note on candeal and Induráin’s semiorder separability condition. (English) Zbl 1452.91141

Bosi, Gianni (ed.) et al., Mathematical topics on representations of ordered structures and utility theory. Essays in honor of Professor Ghanshyam B. Mehta. Cham: Springer. Stud. Syst. Decis. Control 263, 129-141 (2020).
MSC:  91B16 91B08 06A06
PDFBibTeX XMLCite
Full Text: DOI

Well, better and in-between. (English) Zbl 1481.03047

Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer. Trends Log. Stud. Log. Libr. 53, 1-27 (2020).
MSC:  03E15 06A05 06A06
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software