×

Found 811 Documents (Results 1–100)

How to automatise proofs of operator statements: Moore-Penrose inverse; a case study. (English) Zbl 07842260

Boulier, François (ed.) et al., Computer algebra in scientific computing. 25th international workshop, CASC 2023, Havana, Cuba, August 28 – September 1, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14139, 39-68 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Using automata and a decision procedure to prove results in pattern matching (invited talk). (English) Zbl 07842463

Bannai, Hideo (ed.) et al., 33rd annual symposium on combinatorial pattern matching, CPM 2022, Prague, Czech Republic, June 27–29, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 223, Article 2, 3 p. (2022).
MSC:  68W32
PDFBibTeX XMLCite
Full Text: DOI

Robust food-energy-water-environmental security management: Stochastic quasigradient procedure for linkage of distributed optimization models under asymmetric information and uncertainty. (English. Ukrainian original) Zbl 1491.90160

Cybern. Syst. Anal. 58, No. 1, 45-57 (2022); translation from Kibern. Sist. Anal. 58, No. 1, 55-69 (2022).
MSC:  90C30 91B74
PDFBibTeX XMLCite
Full Text: DOI

Proof systems for the logics of bringing-it-about. (English) Zbl 07655703

Liu, Fenrong (ed.) et al., Deontic logic and normative systems. 15th international conference, DEON 2020/2021. London: College Publications. 114-132 (2021).
PDFBibTeX XMLCite

Tableau-based decision procedure for non-Fregean logic of sentential identity. (English) Zbl 07437071

Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 41-57 (2021).
MSC:  03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

An SMT theory of fixed-point arithmetic. (English) Zbl 07614504

Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 13-31 (2020).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Deciding differential privacy for programs with finite inputs and outputs. (English) Zbl 1507.68111

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:  68P27
PDFBibTeX XMLCite
Full Text: DOI arXiv

About the temporal logic of the lexicographic products of unbounded dense linear orders: a new study of its computability. (English) Zbl 1484.03030

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).
PDFBibTeX XMLCite
Full Text: DOI HAL

Kleene algebra with observations. (English) Zbl 07649949

Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 41, 16 p. (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
PDFBibTeX XMLCite
Full Text: DOI

Lagrange’s theorem for binary squares. (English) Zbl 1510.11168

Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 18, 14 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Sums of palindromes: an approach via automata. (English) Zbl 1497.68277

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).
Reviewer: Amin Witno (Amman)
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite

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
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
PDFBibTeX XMLCite

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
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI HAL

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).
MSC:  68R15 03B25 03B35 11B85 68T15
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software