×

Found 365 Documents (Results 1–100)

100
MathJax

Simpler completeness proofs for modal logics with intersection. (English) Zbl 07437027

Martins, Manuel A. (ed.) et al., Dynamic logic. New trends and applications. Third international workshop, Dalí 2020, Prague, Czech Republic, October 9–10, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12569, 259-276 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI arXiv

A note on the fast computation of transitive closure of graphs and the multiplication of integer matrices. (English. Russian original) Zbl 1465.05177

Mosc. Univ. Math. Bull. 75, No. 6, 239-245 (2020); translation from Vestn. Mosk. Univ., Ser. I 75, No. 6, 14-19 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Uniform inductive reasoning in transitive closure logic via infinite descent. (English) Zbl 07533342

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 17, 16 p. (2018).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Improving data locality of RNA secondary structure prediction code. (English) Zbl 07529055

Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 16th international conference, ICAISC 2017, Zakopane, Poland, June 11–15, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10245, 690-699 (2017).
MSC:  92D20 92-08 92-04
PDF BibTeX XML Cite
Full Text: DOI

Into the square: on the complexity of some quadratic-time solvable problems. (English) Zbl 1345.68170

Crescenzi, Pierluigi (ed.) et al., Proceedings of ICTCS 2015, the 16th Italian conference on theoretical computer science, Firenze, Italy, September 9–11, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 322, 51-67, electronic only (2016).
MSC:  68Q25 68Q17
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filtration safe operations on frames. (English) Zbl 1385.03020

Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 333-352 (2014).
MSC:  03B45 03B70
PDF BibTeX XML Cite

Decidability of weak logics with deterministic transitive closure. (English) Zbl 1394.03015

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 29, 10 p. (2014).
MSC:  03B25 03B20 68Q17
PDF BibTeX XML Cite
Full Text: DOI

Concurrent Kleene algebra with tests. (English) Zbl 1345.68139

Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). Lecture Notes in Computer Science 8428, 37-48 (2014).
PDF BibTeX XML Cite
Full Text: DOI

Reachability in graph timelines. (English) Zbl 1362.68061

Proceedings of the 4th conference on innovations in theoretical computer science, ITCS’13, Berkeley, CA, USA, January 9–12, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1859-4). 257-268 (2013).
PDF BibTeX XML Cite
Full Text: DOI

Fun with semirings: a functional pearl on the abuse of linear algebra. (English) Zbl 1323.68110

Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 101-110 (2013).
MSC:  68N18 15B33 16Y60
PDF BibTeX XML Cite
Full Text: DOI

Using basis dependence distance vectors to calculate the transitive closure of dependence relations by means of the Floyd-Warshall algorithm. (English) Zbl 1406.68017

Widmayer, Peter (ed.) et al., Combinatorial optimization and applications. 7th international conference, COCOA 2013, Chengdu, China, December 12–14, 2013. Proceedings. Berlin: Springer (ISBN 978-3-319-03779-0/pbk). Lecture Notes in Computer Science 8287, 129-140 (2013).
PDF BibTeX XML Cite
Full Text: DOI

Conservativity of transitive closure over weak constructive operational set theory. (English) Zbl 1317.03040

Berger, Ulrich (ed.) et al., Logic, construction, computation. Dedicated to the 70th birthday of Helmut Schwichtenberg. Frankfurt am Main: Ontos Verlag; Berlin: De Gruyter (ISBN 978-3-11-032453-2/hbk; 978-3-86838-158-0/hbk; 978-3-11-032492-1/ebook). Ontos Mathematical Logic 3, 91-121 (2012).
MSC:  03F65 03E70
PDF BibTeX XML Cite

Two-variable universal logic with transitive closure. (English) Zbl 1252.03078

Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 396-410, electronic only (2012).
MSC:  03B70 03B25 68Q25
PDF BibTeX XML Cite
Full Text: DOI

On the transitive closure of reciprocal \([0, 1]\)-valued relations. (English) Zbl 1254.03096

Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) and 17th annual LFA meeting, Aix-Les-Bains, France, July 18–22, 2011. Amsterdam: Atlantis Press (ISBN 9978-90-78677-00-0). Paper No. 146, 1015-1021 (2011).
MSC:  03E72 68T37 91B06
PDF BibTeX XML Cite
Full Text: DOI

Transitive openings. (English) Zbl 1254.03090

Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) and 17th annual LFA meeting, Aix-Les-Bains, France, July 18–22, 2011. Amsterdam: Atlantis Press (ISBN 9978-90-78677-00-0). Paper No. 72, 493-497 (2011).
MSC:  03E72
PDF BibTeX XML Cite
Full Text: DOI

Completeness proof by semantic diagrams for transitive closure of accessibility relation. (English) Zbl 1254.03034

Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 200-217 (2010).
MSC:  03B45
PDF BibTeX XML Cite

An iterative algorithm of computing the transitive closure of a union of parameterized affine integer tuple relations. (English) Zbl 1310.68169

Wu, Weili (ed.) et al., Combinatorial optimization and applications. 4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18–20, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-17457-5/pbk). Lecture Notes in Computer Science 6508, 104-113 (2010).
MSC:  68R10 05C85
PDF BibTeX XML Cite
Full Text: DOI

Symbolic OBDD-based reachability analysis needs exponential space. (English) Zbl 1274.68087

van Leeuwen, Jan (ed.) et al., SOFSEM 2010: Theory and practice of computer science. 36th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 23–29, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11265-2/pbk). Lecture Notes in Computer Science 5901, 224-234 (2010).
PDF BibTeX XML Cite
Full Text: DOI

Calculating exact transitive closure for a normalized affine integer tuple relation. (English) Zbl 1267.05071

Balakrishnan, R. (ed.) et al., International conference on graph theory and its applications. Papers from the conference, Coimbatore, India, December 11–13, 2008. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 33, 7-14 (2009).
MSC:  05C10
PDF BibTeX XML Cite
Full Text: DOI

Computing the transitive closure of a union of affine integer tuple relations. (English) Zbl 1246.05145

Du, Ding-Zhu (ed.) et al., Combinatorial optimization and applications. Third international conference, COCOA 2009, Huangshan, China, June 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02025-4/pbk). Lecture Notes in Computer Science 5573, 98-109 (2009).
MSC:  05C85 68W30
PDF BibTeX XML Cite
Full Text: DOI HAL

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