×

Found 19 Documents (Results 1–19)

Free-variable semantic tableaux for the logic of fuzzy inequalities. (English. Russian original) Zbl 1386.03025

Algebra Logic 55, No. 2, 103-127 (2016); translation from Algebra Logika 55, No. 2, 156-191 (2016); erratum ibid. 55, No. 3, 256 (2016).
MSC:  03B52 03F03 68Q17
PDFBibTeX XMLCite
Full Text: DOI

Two Dots is NP-complete. (English) Zbl 1369.68218

Demaine, Erik D. (ed.) et al., 8th international conference on fun with algorithms, FUN 2016, La Maddalena, Italy, June 8–10, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-005-7). LIPIcs – Leibniz International Proceedings in Informatics 49, Article 24, 12 p. (2016).
MSC:  68Q17 91A46
PDFBibTeX XMLCite
Full Text: DOI

B-disjunctive total domination in graphs: algorithm and hardness results. (English) Zbl 1437.68139

Govindarajan, Sathish (ed.) et al., Algorithms and discrete applied mathematics. Second international conference, CALDAM 2016, Thiruvananthapuram, India, February 18–20, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9602, 277-288 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 3

Main Field

Software