×

Found 6,130 Documents (Results 1–100)

Decidability of difference logic over the reals with uninterpreted unary predicates. (English) Zbl 07838507

Pientka, Brigitte (ed.) et al., Automated deduction – CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1–4, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14132, 542-559 (2023).
MSC:  03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Modal Lambek calculus with primary assumptions: decidability and context-freeness. (English) Zbl 07823019

Bentzen, Bruno (ed.) et al., Logics for AI and law. Joint proceedings of the third international workshop on logics for new-generation artificial intelligence and the international workshop on logic, AI and law, September 8–9 and 11–12, 2023, Hangzhou, China. London: College Publications. 149-155 (2023).
MSC:  68T27 03B25
PDFBibTeX XMLCite
Full Text: Link

Unboundedness problems for machines with reversal-bounded counters. (English) Zbl 07770340

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 240-264 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

The domino problem is undecidable on every rhombus subshift. (English) Zbl 07766937

Drewes, Frank (ed.) et al., Developments in language theory. 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13911, 100-112 (2023).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv HAL

Existential and universal width of alternating finite automata. (English) Zbl 07729457

Bordihn, Henning (ed.) et al., Descriptional complexity of formal systems. 25th IFIP WG 1.02 international conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13918, 51-64 (2023).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Secure non-interactive reducibility is decidable. (English) Zbl 1519.94056

Kiltz, Eike (ed.) et al., Theory of cryptography. 20th international conference, TCC 2022, Chicago, IL, USA, November 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13748, 408-437 (2023).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Sturmian and infinitely desubstitutable words accepted by an \(\omega \) -automaton. (English) Zbl 07716984

Frid, Anna (ed.) et al., Combinatorics on words. 14th international conference, WORDS 2023, Umeå, Sweden, June 12–16, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13899, 104-116 (2023).
MSC:  68R15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Decidability for Sturmian words. (English) Zbl 07830380

Manea, Florin (ed.) et al., 30th EACSL annual conference on computer science logic, CSL 2022, Göttingen, Germany, virtual conference, February 14–19, 2022. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 216, Article 24, 23 p. (2022).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Global winning conditions in synthesis of distributed systems with causal memory. (English) Zbl 07830376

Manea, Florin (ed.) et al., 30th EACSL annual conference on computer science logic, CSL 2022, Göttingen, Germany, virtual conference, February 14–19, 2022. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 216, Article 20, 19 p. (2022).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Mortality and edge-to-edge reachability are decidable on surfaces. (English) Zbl 07807724

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 16, 10 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

The lattice of definability: origins, recent developments, and further directions. (English. Russian original) Zbl 07728611

Dokl. Math. 106, Part Suppl. 2, S288-S298 (2022); translation from Chebyshevskiĭ Sb. 22, No. 1(77), 304-327 (2021).
MSC:  03C40 03C10
PDFBibTeX XMLCite
Full Text: DOI

What’s decidable about discrete linear dynamical systems? (English) Zbl 1528.68228

Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 21-38 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Spatial and timing properties in highway traffic. (English) Zbl 07719828

Seidl, Helmut (ed.) et al., Theoretical aspects of computing – ICTAC 2022. 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13572, 114-131 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software