×

Found 334 Documents (Results 1–100)

100
MathJax

The structure of computably enumerable preorder relations. (English. Russian original) Zbl 1462.03018

Algebra Logic 59, No. 3, 201-215 (2020); translation from Algebra Logika 59, No. 3, 293-314 (2020).
MSC:  03D45 03D25 03D30
PDF BibTeX XML Cite
Full Text: DOI

First steps towards a formalization of forcing. (English) Zbl 1434.03029

Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 119-136 (2019).
MSC:  03B35 03E35 68V20
PDF BibTeX XML Cite
Full Text: DOI arXiv

Benchmarking over distributive lattices. (English) Zbl 1452.68201

Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part I. Cham: Springer. Commun. Comput. Inf. Sci. 610, 117-125 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Many-valued preorders. II: The symmetry axiom and probabilistic geometry. (English) Zbl 1375.06002

Magdalena, Luis (ed.) et al., Enric Trillas: a passion for fuzzy sets. A collection of recent works on fuzzy logic. Cham: Springer (ISBN 978-3-319-16234-8/hbk; 978-3-319-16235-5/ebook). Studies in Fuzziness and Soft Computing 322, 151-165 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Many-valued preorders. I: The basis of many-valued mathematics. (English) Zbl 1383.06001

Magdalena, Luis (ed.) et al., Enric Trillas: a passion for fuzzy sets. A collection of recent works on fuzzy logic. Cham: Springer (ISBN 978-3-319-16234-8/hbk; 978-3-319-16235-5/ebook). Studies in Fuzziness and Soft Computing 322, 125-150 (2015).
MSC:  06A06 03E72
PDF BibTeX XML Cite
Full Text: DOI

Some notes on the universality of three-orders on finite labeled posets. (English) Zbl 1315.06006

Brattka, Vasco (ed.) et al., Logic, computation, hierarchies. Dedicated to Victor L. Selivanov on the occasion of his 60th birthday. Berlin: De Gruyter (ISBN 978-1-61451-783-2/hbk; 978-1-61451-804-4/ebook). Ontos Mathematical Logic 4, 393-409 (2014).
PDF BibTeX XML Cite

Simulation over one-counter nets is PSPACE-complete. (English) Zbl 1359.68223

Seth, Anil (ed.) et al., 33nd international conference on foundations of software technology and theoretical computer science, FSTTCS 2013, Guwahati, India, December 12–14, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-64-4). LIPIcs – Leibniz International Proceedings in Informatics 24, 515-526 (2013).
MSC:  68Q85 68Q17
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software