×

Found 181 Documents (Results 1–100)

100
MathJax

Comparative analysis of random generators. (English) Zbl 07293164

Pillwein, Veronika (ed.) et al., Algorithmic combinatorics: enumerative combinatorics, special functions and computer algebra. Proceedings of the workshop on combinatorics, special functions and computer algebra (Paule60), Research Institute of Symbolic Computation (RISC), Hagenberg, Austria, May 17–18, 2018. In honour of Peter Paule on his 60th birthday. Cham: Springer. Texts Monogr. Symb. Comput., 181-196 (2020).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

Canonical models and the complexity of modal team logic. (English) Zbl 07533355

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 30, 23 p. (2018).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Hybrid VCSPs with crisp and valued conservative templates. (English) Zbl 1457.68130

Okamoto, Yoshio (ed.) et al., 28th international symposium on algorithms and computation, ISAAC 2017, December 9–12, 2017, Phuket, Thailand. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 92, Article 65, 13 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI

The almost equivalence by asymptotic probabilities for regular languages and its computational complexities. (English) Zbl 1478.68132

Cantone, Domenico (ed.) et al., Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14–16, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 272-286 (2016).
MSC:  68Q45 68Q19 68Q25
PDF BibTeX XML Cite
Full Text: arXiv Link

How many times do we need an assumption to prove a tautology in minimal logic? Examples on the compression power of classical reasoning. (English) Zbl 1352.03067

Nieves, Juan Carlos (ed.) et al., Selected papers based on the presentations at the 9th Latin American workshop on logic/languages, algorithms and new methods of reasoning (LANMR), Valle de Bravo, Mexico, November 5–7, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 315, 31-46 (2014).
MSC:  03F20 03B05 03B35
PDF BibTeX XML Cite
Full Text: DOI

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

all top 3

Software