Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Viktor Kuncak, Martin C. Rinard |
Structural Subtyping of Non-Recursive Types is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings, pp. 96-107, 2003, IEEE Computer Society, 0-7695-1884-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Felix Klaedtke, Harald Rueß |
Monadic Second-Order Logics with Cardinalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 681-696, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn |
Type Inference for Nested Self Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers, pp. 99-114, 2003, Springer, 3-540-22164-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Christopher Lynch |
Schematic Saturation for Decision and Unification Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings, pp. 427-441, 2003, Springer, 3-540-40559-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Emmanuel Coquery, François Fages |
Subtyping Constraints in Quasi-lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 136-148, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Ramaswamy Ramanujam, S. P. Suresh |
Tagging Makes Secrecy Decidable with Unbounded Nonces as Well. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 363-374, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Fabio Grandi 0001 |
On Expressive Description Logics with Composition of Roles in Number Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings, pp. 202-215, 2002, Springer, 3-540-00010-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Richard Statman |
On The Lambda Y Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings, pp. 159-166, 2002, IEEE Computer Society, 0-7695-1483-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Zhendong Su 0001, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen |
The first-order theory of subtyping constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, USA, January 16-18, 2002, pp. 203-216, 2002, ACM, 1-58113-450-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Colin Stirling |
Deciding DPDA Equivalence Is Primitive Recursive. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings, pp. 821-832, 2002, Springer, 3-540-43864-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Sebastian Bauer 0004, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
On Non-Local Propositional and Local One-Variable Quantified CTL*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 9th International Symposium on Temporal Representation and Reasoning, TIME-2002, Manchester, UK, July 7-9, 2002, pp. 2-9, 2002, IEEE Computer Society, 0-7695-1474-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Maria Sorea |
A Decidable Fixpoint Logic for Time-Outs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings, pp. 255-271, 2002, Springer, 3-540-44043-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Didier Galmiche, Daniel Méry, David J. Pym |
Resource Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 183-199, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Klaus Reinhardt |
The Complexity of Translating Logic to Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automata, Logics, and Infinite Games ![In: Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001], pp. 231-238, 2001, Springer, 3-540-00388-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Vincent Padovani |
Retracts in Simple Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings., pp. 376-384, 2001, Springer, 3-540-41960-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Mikolaj Bojanczyk |
The Finite Graph Problem for Two-Way Alternating Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 88-103, 2001, Springer, 3-540-41864-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Irina B. Virbitskaite |
Characterizing Timed Net Processes Categorically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001, Proceedings, pp. 128-141, 2001, Springer, 3-540-42522-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Joachim Niehren, Tim Priesnitz |
Non-structural Subtype Entailment in Automata Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings, pp. 360-384, 2001, Springer, 3-540-42736-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Hiroshi Nakano |
Fixed-Point Logic with the Approximation Modality and Its Kripke Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings, pp. 165-182, 2001, Springer, 3-540-42736-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Denis Lugiez, Philippe Schnoebelen |
Decidable First-Order Transition Logics for PA-Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings, pp. 342-353, 2000, Springer, 3-540-67715-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Ivana Cerná, Mojmír Kretínský, Antonín Kucera 0001 |
Comparing Expressibility of Normed BPA and Normed BPP Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 36(3), pp. 233-256, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Hardi Hungar |
Model Checking and Higher-Order Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings, pp. 149-159, 1999, Springer, 3-540-66408-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Ahmed Bouajjani, Richard Mayr |
Model Checking Lossy Vector Addition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 99, 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999, Proceedings, pp. 323-333, 1999, Springer. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Petr Jancar, Faron Moller, Zdenek Sawa |
Simulation Problems for One-Counter Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999, Proceedings, pp. 404-413, 1999, Springer, 3-540-66694-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Jean-Eric Pin |
Bridges for Concatenation Hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, pp. 431-442, 1998, Springer, 3-540-64781-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Manfred Schmidt-Schauß, Klaus U. Schulz |
On the Exponent of Periodicity of Minimal Solutions of Context Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings, pp. 61-75, 1998, Springer, 3-540-64301-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Alain Finkel, Philippe Schnoebelen |
Fundamental Structures in Well-Structured Infinite Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 102-118, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Antonín Kucera 0001 |
How to Parallelize Sequential Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings, pp. 302-316, 1997, Springer, 3-540-63141-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Thomas A. Henzinger |
Hybrid Automata with Finite Bisimulatioins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 22nd International Colloquium, ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings, pp. 324-335, 1995, Springer, 3-540-60084-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Isabelle Fagnot |
On the Subword Equivalence Problem for Infinite Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 95, 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995, Proceedings, pp. 107-118, 1995, Springer, 3-540-59042-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Satish R. Thatte |
Semantics of Type Classes Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1994 ACM Conference on LISP and Functional Programming, Orlando, Florida, USA, 27-29 June 1994., pp. 208-219, 1994, ACM, 0-89791-643-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Haskell |
16 | Giuseppe De Giacomo, Maurizio Lenzerini |
Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings, pp. 332-346, 1994, Springer, 3-540-58332-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Laurence Puel, Ascánder Suárez |
Optimal Solutions to Pattern Matching Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings, pp. 501-518, 1993, Springer, 3-540-56610-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Søren Christensen, Yoram Hirshfeld, Faron Moller |
Bisimulation Equivalence is Decidable for Basic Parallel Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, pp. 143-157, 1993, Springer, 3-540-57208-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Pierre-Louis Curien, Roberto Di Cosmo |
A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings, pp. 291-302, 1991, Springer, 3-540-54233-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Thierry Jéron |
Testing for Unboundedness of FIFO Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings, pp. 322-333, 1991, Springer, 3-540-53709-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Jean-Luc Coquidé, Max Dauchet, Rémi Gilleron, Sándor Vágvölgyi |
Bottom-Up Tree Pushdown Automata and Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings, pp. 287-298, 1991, Springer, 3-540-53904-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Rewrite systems (=term rewrite systems), Church-Rosser (=confluent) systems, Noetherian systems, Convergent (=noetherian+confluent) systems, (Deterministic) tree automaton with pushdown store, (Recognizable, Context-free) tree languages |
16 | Gerhard Lakemeyer |
A Computationally Attractive First-Order Logic of Belief. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings, pp. 333-347, 1990, Springer, 3-540-53686-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Jürgen Schäfer |
A Kleene-Presburgerian Approach to Linear Production Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings, pp. 525-534, 1988, Springer, 3-540-19488-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Fritz Henglein |
Type Inference and Semi-Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988, pp. 184-197, 1988, ACM, 0-89791-273-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Eljas Soisalon-Soininen, Derick Wood |
On Structural Similarity of Context-Free Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31 - September 4, 1981, Proceedings, pp. 491-498, 1981, Springer, 3-540-10856-4. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
14 | Domenico Cantone, Pietro Ursino |
Decidability of the Satisfiability Problem for Boolean Set Theory with the Unordered Cartesian Product Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 25(1), pp. 5:1-5:30, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Ruochen Tai, Liyong Lin, Rong Su 0001 |
On Decidability of Existence of Fortified Supervisors Against Covert Actuator Attackers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 69(3), pp. 1898-1905, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Luke Schaeffer, Jeffrey O. Shallit, Stefan Zorcic |
Beatty Sequences for a Quadratic Irrational: Decidability and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.08331, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Mallku Soldevila, Rodrigo Ribeiro, Beta Ziliani |
Redex -> Coq: towards a theory of decidability of Redex's reduction semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.03488, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Lucie Guillou, Corto Mascle, Nicolas Waldburger |
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS (2) ![In: Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II, pp. 250-270, 2024, Springer, 978-3-031-57230-2. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Peter Kostolányi |
On some decidability questions concerning supports of rational series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 179, pp. 106290, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Krystian Jobczyk |
An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 163, pp. 109033, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Giovanni Pighizzini, Luca Prigioniero |
Pushdown automata and constant height: decidability and bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 60(2), pp. 123-144, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Rong Su 0001 |
On decidability of existence of nonblocking supervisors resilient to smart sensor attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 154, pp. 111076, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Søren Brinck Knudstorp |
Modal Information Logics: Axiomatizations and Decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 52(6), pp. 1723-1766, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque |
The Topological Mu-Calculus: Completeness and Decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 70(5), pp. 33:1-33:38, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Jarkko Kari, Etienne Moutot |
Decidability and Periodicity of Low Complexity Tilings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 67(1), pp. 125-148, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Gennady Shtakser |
Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 17(3), pp. 297-330, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Lucie Guillou, Corto Mascle, Nicolas Waldburger |
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.01517, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Tikhon Pshenitsyn |
On Decidability and Expressive Power of Fusion Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.00954, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Amanda Vidal |
On the local consequence of modal Product logic: standard completeness and decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.13903, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Pierre Dehornoy, Corentin Lunel, Arnaud de Mesmay |
Hopf Arborescent Links, Minor Theory, and Decidability of the Genus Defect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.09094, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Tianyue Cao, Bowen Zhang, Zhao Jin, Yongzhi Cao, Hanpin Wang |
A separation logic for sequences in pointer programs and its decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.06237, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Feller 0001, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph |
Decidability of Querying First-Order Theories via Countermodels of Finite Width. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.06348, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | V. Ironmonger, Nik Ruskuc |
Decidability of well quasi-order and atomicity for equivalence relations under embedding orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.11048, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard |
A Semantic Approach to Decidability in Epistemic Planning (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.15485, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Weilin Deng, Daowen Qiu, Jingkai Yang |
Opacity of Parametric Discrete Event Systems: Models, Decidability, and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.03870, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Gilles Dowek, Ying Jiang |
Eigenvariables, bracketing and the decidability of positive minimal predicate logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.08416, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Stephan Spengler, Sanchari Sil |
TSO Games - On the decidability of safety games under the total store order semantics (extended version with appendix). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.02862, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Ilya Shapirovsky |
Decidability of modal logics of non-k-colorable graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.09934, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Bernard Boigelot, Pascal Fontaine, Baptiste Vergain |
Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.15059, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Qian Chen, Dazhu Li |
Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.16021, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Ruochen Tai, Liyong Lin, Rong Su 0001 |
On Decidability of Existence of Fortified Supervisors Against Covert Actuator Attackers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.15972, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Stephan Spengler, Sanchari Sil |
TSO Games - On the decidability of safety games under the total store order semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023., pp. 82-98, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Paul Hannibal |
(Un)Decidability Bounds of the Synthesis Problem for Petri Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023., pp. 115-131, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Arnaldo Cesco, Roberto Gorrieri |
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 19(4), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Manfred Droste, Zoltán Fülöp 0001, Dávid Kószó |
Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 34(6), pp. 633-653, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya |
From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 35(2), pp. 9:1-9:50, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Hans van Ditmarsch, Louwe B. Kuijer, Mo Liu 0002 |
An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LORI ![In: Logic, Rationality, and Interaction - 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings, pp. 63-76, 2023, Springer, 978-3-031-45557-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Ilya Shapirovsky |
Decidability of Modal Logics of Non-k-Colorable Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings, pp. 351-361, 2023, Springer, 978-3-031-39783-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Oskar Fiuk, Emanuel Kieronski |
An excursion to the border of decidability: between two- and three-variable logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 205-223, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Minglong Qin, Penghui Yao |
Decidability of Fully Quantum Nonlocal Games with Noisy Maximally Entangled States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany, pp. 97:1-97:20, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-278-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Christoph Haase, Alessio Mansutti, Amaury Pouly |
On Polynomial-Time Decidability of k-Negations Fragments of FO Theories (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, August 28 to September 1, 2023, Bordeaux, France, pp. 52:1-52:14, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-292-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard |
A Semantic Approach to Decidability in Epistemic Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023), pp. 319-326, 2023, IOS Press, 978-1-64368-436-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Qian Chen, Dazhu Li |
Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaLí ![In: Dynamic Logic. New Trends and Applications - 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers, pp. 20-34, 2023, Springer, 978-3-031-51776-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Bernard Boigelot, Pascal Fontaine, Baptiste Vergain |
Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 542-559, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Xiaoxuan Fu, Zhiguang Zhao |
A Logic for Preference Lifting Under Uncertainty and Its Decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings, pp. 213-223, 2023, Springer, 978-3-031-40874-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Xinglong Chang, Katharina Dost, Kaiqi Zhao 0001, Ambra Demontis, Fabio Roli, Gillian Dobbie, Jörg Wicker |
BAARD: Blocking Adversarial Examples by Testing for Applicability, Reliability and Decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD (1) ![In: Advances in Knowledge Discovery and Data Mining - 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part I, pp. 3-14, 2023, Springer, 978-3-031-33373-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Mihir Vahanwala |
Robust Positivity Problems for Linear Recurrence Sequences: The Frontiers of Decidability for Explicitly Given Neighbourhoods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2023, December 18-20, 2023, IIIT Hyderabad, Telangana, India, pp. 17:1-17:21, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-304-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Francesco Di Cosmo |
Decidability Borders of Verification of Communicating Datalog Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUMAS ![In: Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings, pp. 507-513, 2023, Springer, 978-3-031-43263-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard |
A Semantic Approach to Decidability in Epistemic Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023, pp. 2361-2363, 2023, ACM, 978-1-4503-9432-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
14 | Adam Husted Kjelstrøm, Andreas Pavlogiannis |
The decidability and complexity of interleaved bidirected Dyck reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(POPL), pp. 1-26, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Alexis Bès, Christian Choffrut |
Decidability of Definability Issues in the Theory of Real Addition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 188(1), pp. 15-39, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Maryam Ghorani, Somaye Moghari |
Decidability of the minimization of fuzzy tree automata with membership values in complete lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. Comput. ![In: J. Appl. Math. Comput. 68(1), pp. 461-478, February 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Petra Wolf 0002 |
On the decidability of finding a positive ILP-instance in a regular set of ILP-instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 59(4), pp. 505-519, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala |
Decidability and complexity of action-based temporal planning over dense time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 307, pp. 103686, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Zdenek Dvorák 0001, Luke Postle |
On Decidability of Hyperbolicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 42(6), pp. 1081-1098, December 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Petra Wolf 0002 |
From decidability to undecidability by considering regular sets of instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 899, pp. 25-38, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Krenn, Jeffrey O. Shallit |
Decidability and k-regular sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 907, pp. 34-44, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Agata Tomczyk, Dorota Leszczynska-Jasion |
Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCL ![In: Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022., pp. 136-149, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Laura Bozzelli, Adriano Peron, César Sánchez 0001 |
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.02956, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier |
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.01608, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki |
Logics for Epistemic Actions: Completeness, Decidability, Expressivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.06744, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Eion Blanchard, Philipp Hieronymi |
Decidability bounds for Presburger arithmetic extended by sine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.00099, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|