×

zbMATH — the first resource for mathematics

Found 355 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Sedlár, Igor
Iterative division in the Distributive Full Non-Associative Lambek Calculus. (English) Zbl 07218624
Soares Barbosa, Luís (ed.) et al., Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-38807-2/pbk; 978-3-030-38808-9/ebook). Lecture Notes in Computer Science 12005, 141-154 (2020).
MSC:  03B70
PDF BibTeX XML Cite
\textit{I. Sedlár}, Lect. Notes Comput. Sci. 12005, 141--154 (2020; Zbl 07218624)
Full Text: DOI
Sedlár, Igor
Substructural logics with a reflexive transitive closure modality. (English) Zbl 06820481
Kennedy, Juliette (ed.) et al., Logic, language, information, and computation. 24th international workshop, WoLLIC 2017, London, UK, July 18–21, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-55385-5/pbk; 978-3-662-55386-2/ebook). Lecture Notes in Computer Science 10388, 349-357 (2017).
MSC:  03B70
PDF BibTeX XML Cite
\textit{I. Sedlár}, Lect. Notes Comput. Sci. 10388, 349--357 (2017; Zbl 06820481)
Full Text: DOI
Borassi, Michele; Crescenzi, Pierluigi; Habib, Michel
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
\textit{M. Borassi} et al., Electron. Notes Theor. Comput. Sci. 322, 51--67 (2016; Zbl 1345.68170)
Full Text: DOI
Kikot, Stanislav; Shapirovsky, Ilya; Zolin, Evgeny
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
\textit{S. Kikot} et al., in: Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5--8, 2014. London: College Publications. 333--352 (2014; Zbl 1385.03020)
Charatonik, Witold; Kieroński, Emanuel; Mazowiecki, Filip
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
\textit{W. Charatonik} et al., in: 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. Paper No. 29, 10 p. (2014; Zbl 1394.03015)
Full Text: DOI
Jipsen, Peter
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).
MSC:  68Q10 68N30 68Q55 68Q70 68Q85
PDF BibTeX XML Cite
\textit{P. Jipsen}, Lect. Notes Comput. Sci. 8428, 37--48 (2014; Zbl 1345.68139)
Full Text: DOI
Łącki, Jakub; Sankowski, Piotr
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).
MSC:  68P05 05C85 68R10 68W20
PDF BibTeX XML Cite
\textit{J. Łącki} and \textit{P. Sankowski}, in: 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). 257--268 (2013; Zbl 1362.68061)
Full Text: DOI
Dolan, Stephen
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
\textit{S. Dolan}, in: 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). 101--110 (2013; Zbl 1323.68110)
Full Text: DOI
Bielecki, Włodzimierz; Kraska, Krzysztof; Klimek, Tomasz
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).
MSC:  68N30 68N20 68Q25 68R10
PDF BibTeX XML Cite
\textit{W. Bielecki} et al., Lect. Notes Comput. Sci. 8287, 129--140 (2013; Zbl 1406.68017)
Full Text: DOI
Cantini, Andrea; Crosilla, Laura
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).
Reviewer: Reinhard Kahle (Lisboa)
MSC:  03F65 03E70
PDF BibTeX XML Cite
\textit{A. Cantini} and \textit{L. Crosilla}, Ontos Math. Log. 3, 91--121 (2012; Zbl 1317.03040)
Kieroński, Emanuel; Michaliszyn, Jakub
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
\textit{E. Kieroński} and \textit{J. Michaliszyn}, LIPIcs -- Leibniz Int. Proc. Inform. 16, 396--410 (2012; Zbl 1252.03078)
Full Text: DOI
Freson, Steven; De Meyer, Hans; De Baets, Bernard
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
\textit{S. Freson} et al., in: 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. Paper No. 146, 1015--1021 (2011; Zbl 1254.03096)
Full Text: DOI
Boixader, Dionis; Recasens, Jordi
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
\textit{D. Boixader} and \textit{J. Recasens}, in: 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. Paper No. 72, 493--497 (2011; Zbl 1254.03090)
Full Text: DOI
Kashima, Ryo
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
\textit{R. Kashima}, in: Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24--27, 2010. London: College Publications. 200--217 (2010; Zbl 1254.03034)
Bielecki, Wlodzimierz; Klimek, Tomasz; Palkowski, Marek; Beletska, Anna
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
\textit{W. Bielecki} et al., Lect. Notes Comput. Sci. 6508, 104--113 (2010; Zbl 1310.68169)
Full Text: DOI
Bollig, Beate
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).
MSC:  68P05 68Q17 68Q25 68R10
PDF BibTeX XML Cite
\textit{B. Bollig}, Lect. Notes Comput. Sci. 5901, 224--234 (2010; Zbl 1274.68087)
Full Text: DOI
Bielecki, W.; Klimek, T.; Trifunovic, K.
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
\textit{W. Bielecki} et al., Electron. Notes Discrete Math. 33, 7--14 (2009; Zbl 1267.05071)
Full Text: DOI
Beletska, Anna; Barthou, Denis; Bielecki, Wlodzimierz; Cohen, Albert
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
\textit{A. Beletska} et al., Lect. Notes Comput. Sci. 5573, 98--109 (2009; Zbl 1246.05145)
Full Text: DOI
Reinhardt, Klaus
Reachability in Petri nets with inhibitor arcs. (English) Zbl 1337.68191
Halava, Vesa (ed.) et al., Proceedings of the 2nd workshop on reachability problems in computational models (RP 2008), Liverpool, UK, September 15–17, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 223, 239-264 (2008).
MSC:  68Q85 03B25 03D05 68Q45
PDF BibTeX XML Cite
\textit{K. Reinhardt}, Electron. Notes Theor. Comput. Sci. 223, 239--264 (2008; Zbl 1337.68191)
Full Text: DOI
Chaudhuri, Swarat
Subcubic algorithms for recursive state machines. (English) Zbl 1295.68142
Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’08, San Francisco, CA, USA, January 07–12, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-689-9). 159-169 (2008).
MSC:  68Q45 68Q25 68W05
PDF BibTeX XML Cite
\textit{S. Chaudhuri}, in: Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '08, San Francisco, CA, USA, January 07--12, 2008. New York, NY: Association for Computing Machinery (ACM). 159--169 (2008; Zbl 1295.68142)
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