×

zbMATH — the first resource for mathematics

Found 780 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Barthe, Gilles; Chadha, Rohit; Jagannath, Vishal; Sistla, A. Prasad; Viswanathan, Mahesh
Deciding differential privacy for programs with finite inputs and outputs. (English) Zbl 07299465
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 141-154 (2020).
MSC:  68-XX
PDF BibTeX Cite
\textit{G. Barthe} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 141--154 (2020; Zbl 07299465)
Full Text: DOI
Balbiani, Philippe
About the temporal logic of the lexicographic products of unbounded dense linear orders: a new study of its computability. (English) Zbl 07220053
Ju, Shier (ed.) et al., Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5–9, 2016. Singapore: Springer. Log. Asia: Stud. Log. Libr., 67-83 (2020).
MSC:  03Bxx
PDF BibTeX Cite
\textit{P. Balbiani}, in: Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5--9, 2016. Singapore: Springer. 67--83 (2020; Zbl 07220053)
Full Text: DOI
Zakharov, Vladimir A.
Equivalence checking of prefix-free transducers and deterministic two-tape automata. (English) Zbl 1425.68239
Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 146-158 (2019).
MSC:  68Q45
PDF BibTeX Cite
\textit{V. A. Zakharov}, Lect. Notes Comput. Sci. 11417, 146--158 (2019; Zbl 1425.68239)
Full Text: DOI
Rajasekaran, Aayush; Shallit, Jeffrey; Smith, Tim
Sums of palindromes: an approach via automata. (English) Zbl 07228445
Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 54, 12 p. (2018).
MSC:  68Qxx
PDF BibTeX Cite
\textit{A. Rajasekaran} et al., LIPIcs -- Leibniz Int. Proc. Inform. 96, Article 54, 12 p. (2018; Zbl 07228445)
Full Text: DOI
Cao, Kecai; Chen, YangQuan
Fractional order crowd dynamics. Cyber-human system modeling and control. (English) Zbl 1415.91001
Fractional Calculus in Applied Sciences and Engineering 4. Berlin: De Gruyter (ISBN 978-3-11-047281-3/hbk; 978-3-11-047398-8/ebook). xiii, 123 p. (2018).
Reviewer: Weiping Li (Stillwater)
MSC:  91-02 91C99 91C20 93B52 93C95 26A33 93C85
PDF BibTeX Cite
\textit{K. Cao} and \textit{Y. Chen}, Fractional order crowd dynamics. Cyber-human system modeling and control. Berlin: De Gruyter (2018; Zbl 1415.91001)
Fiedor, Tomáš; Holík, Lukáš; Janků, Petr; Lengál, Ondřej; Vojnar, Tomáš
Lazy automata techniques for WS1S. (English) Zbl 1452.03090
Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 407-425 (2017).
MSC:  03D05 03B25 68Q45
PDF BibTeX Cite
\textit{T. Fiedor} et al., Lect. Notes Comput. Sci. 10205, 407--425 (2017; Zbl 1452.03090)
Full Text: DOI
Girlando, M.; Negri, S.; Olivetti, N.; Risch, V.
The logic of conditional beliefs: neighbourhood semantics and sequent calculus. (English) Zbl 1400.03030
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 322-341 (2016).
MSC:  03B42 03F05
PDF BibTeX Cite
\textit{M. Girlando} et al., in: Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 -- September 2, 2016. London: College Publications. 322--341 (2016; Zbl 1400.03030)
Liao, Huchang; Xu, Zeshui
Consistency and consensus of intuitionistic fuzzy preference relations in group decision making. (English) Zbl 1371.91044
Angelov, Plamen (ed.) et al., Imprecision and uncertainty in information representation and processing. New tools based on intuitionistic fuzzy sets and generalized nets. Cham: Springer (ISBN 978-3-319-26301-4/hbk; 978-3-319-26302-1/ebook). Studies in Fuzziness and Soft Computing 332, 189-206 (2016).
MSC:  91B06
PDF BibTeX Cite
\textit{H. Liao} and \textit{Z. Xu}, Stud. Fuzziness Soft Comput. 332, 189--206 (2016; Zbl 1371.91044)
Full Text: DOI
Fiedor, Tomáš; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš
Nested antichains for WS1S. (English) Zbl 1420.68186
Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9035, 658-674 (2015).
MSC:  68T15 03B25 03B35 03D05
PDF BibTeX Cite
\textit{T. Fiedor} et al., Lect. Notes Comput. Sci. 9035, 658--674 (2015; Zbl 1420.68186)
Full Text: DOI
Traytel, Dmitriy
A coalgebraic decision procedure for WS1S. (English) Zbl 1373.03015
Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 487-503 (2015).
MSC:  03B25 03D05 68T15
PDF BibTeX Cite
\textit{D. Traytel}, LIPIcs -- Leibniz Int. Proc. Inform. 41, 487--503 (2015; Zbl 1373.03015)
Full Text: DOI
Sobrie, Olivier; Mousseau, Vincent; Pirlot, Marc
Learning the parameters of a non compensatory sorting model. (English) Zbl 1405.90067
Walsh, Toby (ed.), Algorithmic decision theory. 4th international conference, ADT 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23113-6/pbk; 978-3-319-23114-3/ebook). Lecture Notes in Computer Science 9346. Lecture Notes in Artificial Intelligence, 153-170 (2015).
MSC:  90B50 91B06 90C11
PDF BibTeX Cite
\textit{O. Sobrie} et al., Lect. Notes Comput. Sci. 9346, 153--170 (2015; Zbl 1405.90067)
Full Text: DOI
Mousavi, Hamoon; Shallit, Jeffrey
Mechanical proofs of properties of the Tribonacci word. (English) Zbl 1350.68218
Manea, Florin (ed.) et al., Combinatorics on words. 10th international conference, WORDS 2015, Kiel, Germany, September 14–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23659-9/pbk; 978-3-319-23660-5/ebook). Lecture Notes in Computer Science 9304, 170-190 (2015).
Reviewer: Francine Blanchet-Sadri (Greensboro)
MSC:  68R15 03B25 03B35 11B85 68T15
PDF BibTeX Cite
\textit{H. Mousavi} and \textit{J. Shallit}, Lect. Notes Comput. Sci. 9304, 170--190 (2015; Zbl 1350.68218)
Full Text: DOI arXiv
Brotherston, James; Fuhs, Carsten; Pérez, Juan A. Navarro; Gorogiannis, Nikos
A decision procedure for satisfiability in separation logic with inductive predicates. (English) Zbl 1401.68111
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. 25, 10 p. (2014).
MSC:  68Q25 03B25 03B70 68Q17 68Q60
PDF BibTeX Cite
\textit{J. Brotherston} 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. 25, 10 p. (2014; Zbl 1401.68111)
Full Text: DOI
Trzaskalik, Tadeusz; Sitarz, Sebastian; Dominiak, Cezary
Unified procedure for bipolar method. (English) Zbl 1333.90063
Zadnik Stirn, Lidija (ed.) et al., SOR ’13 proceedings. The 12th international symposium on operational research in Slovenia, Dolenjske Toplice, Slovenia, September 25–27, 2013. Ljubljana: Slovenian Society Informatika (SDI), Section for Operational Research (SOR) (ISBN 978-961-6165-40-2/pbk). 213-218 (2013).
MSC:  90B50
PDF BibTeX Cite
\textit{T. Trzaskalik} et al., in: SOR '13 proceedings. The 12th international symposium on operational research in Slovenia, Dolenjske Toplice, Slovenia, September 25--27, 2013. Ljubljana: Slovenian Society Informatika (SDI), Section for Operational Research (SOR). 213--218 (2013; Zbl 1333.90063)
Traytel, Dmitriy; Nipkow, Tobias
Verified decision procedures for MSO on words based on derivatives of regular expressions. (English) Zbl 1323.68346
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, 3-12 (2013).
MSC:  68Q45 03B25 03D05 68N18 68T15
PDF BibTeX Cite
\textit{D. Traytel} and \textit{T. Nipkow}, 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). 3--12 (2013; Zbl 1323.68346)
Full Text: DOI
Balbiani, Philippe; Mikulás, Szabolcs
Decidability and complexity via mosaics of the temporal logic of the lexicographic products of unbounded dense linear orders. (English) Zbl 1398.03078
Fontaine, Pascal (ed.) et al., Frontiers of combining systems. 9th international symposium, FroCoS 2013, Nancy, France, September 18–20, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40884-7/pbk). Lecture Notes in Computer Science 8152. Lecture Notes in Artificial Intelligence, 151-164 (2013).
MSC:  03B44 03B25 68Q25
PDF BibTeX Cite
\textit{P. Balbiani} and \textit{S. Mikulás}, Lect. Notes Comput. Sci. 8152, 151--164 (2013; Zbl 1398.03078)
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