Вы здесь

Главная

разрешимость

Связанные издания:

A Logical Approach to Decidability of Hierarchies of Regular Star-free Languages
Analysis of Dynamical and Cognitive Systems: Proc./Advanced Course. Stockholm, Sweden, August 1993
A Unification of Ordering Refinements of Resolution in Classical Logic
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems
Automated Reasoning: Proc./9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018
Automated Technology for Verification and Analysis: Proc./14th International Symposium, ATVA 2016, Chiba, Japan, October 2016
Cellular Automata and Discrete Complex System: Proc./24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 2018
Checking the Soundness of Resolution Schemes
Computability and Decidability
Computer Algebra in Scientific Computing: Proc./2-th International Workshop, CASC 2018, Lille, France, September 2018
Computer Science Logic: Proc./19th International Workshop, CSL; 14th Annual Conference of the EACSL. Oxford, UK, August 2005
Computer Science Logic: Proc./20th Intl WS CSL 2006, 15th Annual Conference of the EACSL. Szeged, Hungary, September 2006
Computer Science Logic: Proc./22nd International Workshop, CSL 2008. 17th Annual Conference of the EACSL. Bertinoro, Italy, September 2008
Computer Science Logic: Proc./23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 2009
Computer Science - Theory and Applications: Proc./6th International Computer Science Symposium in Russia, CSR 2011, St.Petersburg, Russia, June 2011
Computer Science - Theory and Applications: Proc./8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 2013
Connecting with Computability: Proc./17th Conference on Computability in Europe, CiE 2021, Virtual Event, July 2021
Coordination Models and Languages: Proc./15th International Conference, COORDINATION 2013 Held as Part of the 8th International Federated Conference, DisCoTec 2013, Florence, Italy, June 2013
Data storage interpretation of labeted modal logic
Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems
Decidability of Type-Checking in the Calculis of Algebraic Constructions with Size Annotations
Deciding probabilistic bisimilarity over infinite-state probabilistic system
Decision problems for pushdown threads
Decision Problems for Timed Automata: A Survey
Developments in Language Theory: Proc./12th International Conference, DLT 2008. Kyoto, Japan, September 2008
Developments in Language Theory: Proc./18th International Conference, DLT 2014, Ekaterinburg, Russia, August 2014
Developments in Language Theory: Proc./8th International Conference, DLT 2004. Auckland, New Zealand, December 2004
Formal Modeling and Analysis of Timed Systems: Proc./4th International Conference, FORMATS 2006. Paris, France, September 2006
Frontiers of Combining Systems: Proc./9th International Symposium, FroCoS 2013, Nancy, France, September 2013
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: Proc./24th International Conference. Chennai, India, December 2004
It is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent Thue system is torsion-free
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2022, Deerfield Beach,FL,USA, January 2022
Logic and Theory of Algorithms: Proc./4th Conference on Computability in Europe, CiE 2008. Athens, Greece, June 2008
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./13th Intl Conf, LPAR 2006. Phnom Penh, Cambodia, November 2006
Logic, Language, Information and Computation: Proc./17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 2010
Logic, Language, Information and Computation: Proc./18th International Workshop, WoLLIC 2011, Philadelphia,PA,USA, May 2011
Logics in Artificial Intelligence: Proc./10th European Conference, JELIA 2006. Liverpool, UK, September 2006
Logics in Artificial Intelligence: Proc./15th European Conference, JELIA 2016, Larnaca, Cyprus, November 2016
Mathematical Foundations of Computer Science 2005: Proc./30th International Symposium, MFCS 2005. Gdansk, Poland, August/September 2005
Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties
Models for logic of proofs
Multi-letter quantum finite automata: decidability of the equivalence and minimization of states
On decidability of LTL model checking for process rewrite systems
On deciding whether a monoid is a free monoid or is a group
On decomposability in logical calculi
On Logics of Aliasing
On Randomization Versus Synchronization in Distributed Systems
On the complexity of deciding typability in the relational algebra
On the Decidability of Model Checking for Several -calculi and Petri Nets
On two problems related to cancellativity