Search results for "Decidability"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Leszek Aleksander Kolodziejczyk, Henryk Michalewski	How unprovable is Rabin's decidability theorem?	CoRR	2015	DBLP BibTeX RDF
14	Jason Teutsch, Marius Zimand	On Approximate Decidability of Minimal Programs.	ACM Trans. Comput. Theory	2015	DBLP DOI BibTeX RDF
14	Amir M. Ben-Amram	Mortality of iterated piecewise affine functions over the integers: Decidability and complexity.	Comput.	2015	DBLP DOI BibTeX RDF
14	Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko	A rule-based system for automatic decidability and combinability.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
14	Levon Haykazyan	Decidability of the Clark's completion semantics for monadic programs and queries.	Theory Pract. Log. Program.	2015	DBLP DOI BibTeX RDF
14	Xingxiang Li, Junfeng Luan	可计算性逻辑中CoL2系统的可判定性分析 (Research on Decidability of CoL2 in Computability Logic).	计算机科学	2015	DBLP DOI BibTeX RDF
14	Lvzhou Li, Yuan Feng 0001	Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties.	Inf. Comput.	2015	DBLP DOI BibTeX RDF
14	Simone Santini	Querying streams using regular expressions: some semantics, decidability, and efficiency issues.	VLDB J.	2015	DBLP DOI BibTeX RDF
14	Roderick Bloem, Swen Jacobs, Ayrat Khalimov 0001, Igor Konnov 0001, Sasha Rubin, Helmut Veith, Josef Widder	Decidability of Parameterized Verification		2015	DOI RDF
14	Gilles Dowek, Ying Jiang	Decidability, Introduction Rules and Automata.	LPAR	2015	DBLP DOI BibTeX RDF
14	Rémy Chrétien, Véronique Cortier, Stéphanie Delaune	Decidability of Trace Equivalence for Protocols with Nonces.	CSF	2015	DBLP DOI BibTeX RDF
14	Abhishek Murthy, Md. Ariful Islam, Scott A. Smolka, Radu Grosu	Computing bisimulation functions using SOS optimization and δ-decidability over the reals.	HSCC	2015	DBLP DOI BibTeX RDF
14	Piero A. Bonatti, Marco Faella, Carsten Lutz, Luigi Sauro, Frank Wolter	Decidability of Circumscribed Description Logics Revisited.	Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation	2015	DBLP DOI BibTeX RDF
14	Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, Naijun Zhan	Decidability of the Reachability for a Family of Linear Vector Fields.	ATVA	2015	DBLP DOI BibTeX RDF
14	Timo Jolivet, Anne Siegel	Decidability Problems for Self-induced Systems Generated by a Substitution.	MCU	2015	DBLP DOI BibTeX RDF
14	Joey Eremondi, Oscar H. Ibarra, Ian McQuillan	On the Complexity and Decidability of Some Problems Involving Shuffle.	DCFS	2015	DBLP DOI BibTeX RDF
14	Kamila Barylska, Lukasz Mikulski	On Decidability of Persistence Notions.	CS&P	2015	DBLP BibTeX RDF
14	Daniel Prusa	(Un)decidability of the Emptiness Problem for Multi-dimensional Context-Free Grammars.	CIAA	2015	DBLP DOI BibTeX RDF
14	Jorge Almeida 0001, Jana Bartonová, Ondrej Klíma 0001, Michal Kunc	On Decidability of Intermediate Levels of Concatenation Hierarchies.	DLT	2015	DBLP DOI BibTeX RDF
14	Grant Olney Passmore	Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers.	CADE	2015	DBLP DOI BibTeX RDF
14	Alberto Gatto	Decidability via Mosaics for Bundled Ockhamist Logic.	TIME	2015	DBLP DOI BibTeX RDF
14	Steven Schäfer, Gert Smolka, Tobias Tebbi	Completeness and Decidability of de Bruijn Substitution Algebra in Coq.	CPP	2015	DBLP DOI BibTeX RDF
14	Jan Kretínský, Kim Guldstrand Larsen, Simon Laursen, Jirí Srba	Polynomial Time Decidability of Weighted Synchronization under Partial Observability.	CONCUR	2015	DBLP DOI BibTeX RDF
14	Michal Kovác	Decidability of Termination Problems for Sequential P Systems with Active Membranes.	CiE	2015	DBLP DOI BibTeX RDF
14	Prateek Karandikar, Philippe Schnoebelen	Decidability in the Logic of Subsequences and Supersequences.	FSTTCS	2015	DBLP DOI BibTeX RDF
14	Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans	Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata.	FroCos	2015	DBLP DOI BibTeX RDF
14	Natasha Alechina, Nils Bulling, Brian Logan 0001, Hoang Nga Nguyen	On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic.	IJCAI	2015	DBLP BibTeX RDF
14	Massimo Bartoletti, Roberto Zunino	On the Decidability of Honesty and of Its Variants.	WS-FM	2015	DBLP DOI BibTeX RDF
14	Sam Anthony Mark Jones	Groups, formal language theory and decidability.		2015	RDF
14	Julien Reichert	Reachability games with counters : decidability and algorithms. (Décidabilité et complexité de jeux d'accessibilité sur des systèmes à compteurs).		2015	RDF
14	Yaron Velner	Multidimensional and Pushdown Mean-Payoff Games with Applications to Quantitative Verification and Synthesis of Programs: Complexity, Decidability and Algorithms		2015	RDF
14	Michael Köhler-Bußmeier	A Survey of Decidability Results for Elementary Object Systems.	Fundam. Informaticae	2014	DBLP DOI BibTeX RDF
14	Gennadi Puninski, Carlo Toffalori	Decidability of Modules over a BéZout Domain D+xq[X] with d a Principal Ideal Domain and Q its Field of fractions.	J. Symb. Log.	2014	DBLP BibTeX RDF
14	Manuel Biscaia, David Henriques, Paulo Mateus	Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains.	ACM Trans. Comput. Log.	2014	DBLP DOI BibTeX RDF
14	Da-Jung Cho, Yo-Sub Han, Sang-Ki Ko	Decidability of involution hypercodes.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
14	Alberto Dennunzio, Enrico Formenti, Michael Weiss	Multidimensional cellular automata: closing property, quasi-expansivity, and (un)decidability issues.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
14	Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti	Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
14	Gillman Payette	Decidability of an Xstit Logic.	Stud Logica	2014	DBLP DOI BibTeX RDF
14	Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota 0001	Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes.	Theory Comput. Syst.	2014	DBLP DOI BibTeX RDF
14	Levon Haykazyan	Decidability of the Clark's Completion Semantics for Monadic Programs and Queries.	CoRR	2014	DBLP BibTeX RDF
14	Mathew Joseph, Gabriel M. Kuper, Luciano Serafini	Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity (full version).	CoRR	2014	DBLP BibTeX RDF
14	Achim Blumensath, Martin Otto 0001, Mark Weyer	Decidability Results for the Boundedness Problem.	Log. Methods Comput. Sci.	2014	DBLP DOI BibTeX RDF
14	Hajime Ishihara	Classical propositional logic and decidability of variables in intuitionistic propositional logic.	Log. Methods Comput. Sci.	2014	DBLP DOI BibTeX RDF
14	Ville Salo	Decidability and Universality of Quasiminimal Subshifts.	CoRR	2014	DBLP BibTeX RDF
14	Gilles Dowek, Ying Jiang	Cut-elimination and the decidability of reachability in alternating pushdown systems.	CoRR	2014	DBLP BibTeX RDF
14	Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro	Decidability Problems for Actor Systems.	Log. Methods Comput. Sci.	2014	DBLP DOI BibTeX RDF
14	Danko Ilik	Axioms and Decidability for Type Isomorphism in the Presence of Sums.	CoRR	2014	DBLP BibTeX RDF
14	Jason Teutsch, Marius Zimand	On approximate decidability of minimal programs.	CoRR	2014	DBLP BibTeX RDF
14	Lukás Vokrínek	Decidability of the extension problem for maps into odd-dimensional spheres.	CoRR	2014	DBLP BibTeX RDF
14	Minghui Ma, Zhe Lin 0002	Residuated Basic Logic II. Interpolation, Decidability and Embedding.	CoRR	2014	DBLP BibTeX RDF
14	Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier	Decidability and Undecidability Results for Propositional Schemata.	CoRR	2014	DBLP BibTeX RDF
14	Vladimir A. Bashkin, Irina A. Lomazova	Decidability of k -Soundness for Workflow Nets with an Unbounded Resource.	Trans. Petri Nets Other Model. Concurr.	2014	DBLP DOI BibTeX RDF
14	Enric Ventura	Group-theoretic orbit decidability.	Groups Complex. Cryptol.	2014	DBLP BibTeX RDF
14	Alberto Bertoni, Christian Choffrut, Flavio D'Alessandro	On the Decidability of the Intersection Problem for Quantum Automata and Context-Free Languages.	Int. J. Found. Comput. Sci.	2014	DBLP DOI BibTeX RDF
14	Alexandra Shlapentokh, Carlos Videla	Definability and decidability in infinite algebraic extensions.	Ann. Pure Appl. Log.	2014	DBLP DOI BibTeX RDF
14	Martin Kutrib, Andreas Malcher, Giovanni Pighizzini	Oblivious two-way finite automata: Decidability and complexity.	Inf. Comput.	2014	DBLP DOI BibTeX RDF
14	Haroldas Giedra, Jurate Sakalauskaite, Romas Alonderis	Decidability of Logic of Correlated Knowledge.	Informatica	2014	DBLP BibTeX RDF
14	Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue	Decidability and Expressiveness of Recursive Weighted Logic.	Ershov Memorial Conference	2014	DBLP DOI BibTeX RDF
14	Takeo Uramoto	A Modified Completeness Theorem of KAT and Decidability of Term Reducibility.	RAMiCS	2014	DBLP DOI BibTeX RDF
14	Lakhdar Akroun, Boualem Benatallah, Lhouari Nourine, Farouk Toumani	Decidability and Complexity of Simulation Preorder for Data-Centric Web Services.	ICSOC	2014	DBLP DOI BibTeX RDF
14	Qianqian Xue, Lei Li, Yongming Li 0001	Hierarchy of lattice-valued fuzzy automata and decidability of their languages.	FUZZ-IEEE	2014	DBLP DOI BibTeX RDF
14	Daniel J. Dougherty, Joshua D. Guttman	Decidability for Lightweight Diffie-Hellman Protocols.	CSF	2014	DBLP DOI BibTeX RDF
14	Mathew Joseph, Gabriel M. Kuper, Luciano Serafini	Query Answering over Contextualized RDF Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity.	CILC	2014	DBLP BibTeX RDF
14	Mikolaj Bojanczyk, Tomasz Gogacz, Henryk Michalewski, Michal Skrzypczak	On the Decidability of MSO+U on Infinite Trees.	ICALP (2)	2014	DBLP DOI BibTeX RDF
14	Angelo Montanari, Gabriele Puppis, Pietro Sala	Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals.	MFCS (1)	2014	DBLP DOI BibTeX RDF
14	Oscar H. Ibarra	On Decidability and Closure Properties of Language Classes with Respect to Bio-operations.	DNA	2014	DBLP DOI BibTeX RDF
14	Marilena Vendittelli, Jean-Paul Laumond, Bud Mishra	Decidability of Robot Manipulation Planning: Three Disks in the Plane.	WAFR	2014	DBLP DOI BibTeX RDF
14	Alessio R. Lomuscio, Jakub Michaliszyn	Decidability of model checking multi-agent systems against a class of EHS specifications.	ECAI	2014	DBLP DOI BibTeX RDF
14	Francesco Belardinelli	Model Checking Auctions as Artifact Systems: Decidability via Finite Abstraction.	ECAI	2014	DBLP DOI BibTeX RDF
14	Benjamin Zarrieß, Jens Claßen	On the Decidability of Verifying LTL Properties of Golog Programs.	AAAI Spring Symposia	2014	DBLP BibTeX RDF
14	Renato Neves, Manuel A. Martins 0001, Luís Soares Barbosa	Completeness and Decidability Results for Hybrid(ised) Logics.	SBMF	2014	DBLP DOI BibTeX RDF
14	Christian Doczkal, Gert Smolka	Completeness and Decidability Results for CTL in Coq.	ITP	2014	DBLP DOI BibTeX RDF
14	Witold Charatonik, Emanuel Kieronski, Filip Mazowiecki	Decidability of weak logics with deterministic transitive closure.	CSL-LICS	2014	DBLP DOI BibTeX RDF
14	Christel Baier, Joachim Klein 0001, Sascha Klüppelholz, Sascha Wunderlich	Weight monitoring with linear temporal logic: complexity and decidability.	CSL-LICS	2014	DBLP DOI BibTeX RDF
14	Danko Ilik	Axioms and decidability for type isomorphism in the presence of sums.	CSL-LICS	2014	DBLP DOI BibTeX RDF
14	Mathew Joseph, Gabriel M. Kuper, Luciano Serafini	Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability Using Acyclicity.	RR	2014	DBLP DOI BibTeX RDF
14	Costas D. Koutras, Christos Moyzes, Christos Nomikos, Yorgos Zikos	On the 'in many cases' Modality: Tableaux, Decidability, Complexity, Variants.	SETN	2014	DBLP DOI BibTeX RDF
14	Francesco Belardinelli	Verification of non-uniform and unbounded artifact-centric systems: decidability through abstraction.	AAMAS	2014	DBLP BibTeX RDF
14	Lakhdar Akroun	Decidability and complexity of simulation preorder for data-centric Web services. (Décidabilité et complexité de la relation de simulation des services Web orientés données).		2014	RDF
14	Simon Wacker, Thomas Worsch	On Completeness and Decidability of Phase Space Invertible Asynchronous Cellular Automata.	Fundam. Informaticae	2013	DBLP DOI BibTeX RDF
14	Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier	Stochastic Cellular Automata: Correlations, Decidability and Simulations.	Fundam. Informaticae	2013	DBLP DOI BibTeX RDF
14	Katalin Bimbó, J. Michael Dunn	On the decidability of implicational ticket entailment.	J. Symb. Log.	2013	DBLP DOI BibTeX RDF
14	Manuel Bodirsky, Michael Pinsker, Todor Tsankov	Decidability of definability.	J. Symb. Log.	2013	DBLP DOI BibTeX RDF
14	Thomas Studer	Decidability for some justification logics with negative introspection.	J. Symb. Log.	2013	DBLP DOI BibTeX RDF
14	Marco Cerami, Umberto Straccia	On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm.	Inf. Sci.	2013	DBLP DOI BibTeX RDF
14	John Harding	Decidability of the Equational Theory of the Continuous Geometry $CG(\Bbb {F})$.	J. Philos. Log.	2013	DBLP DOI BibTeX RDF
14	Hsing-chien Tsai	Decidability of General Extensional Mereology.	Stud Logica	2013	DBLP DOI BibTeX RDF
14	Hsing-chien Tsai	A Comprehensive Picture of the Decidability of Mereological Theories.	Stud Logica	2013	DBLP DOI BibTeX RDF
14	Dominik D. Freydenberger	Extended Regular Expressions: Succinctness and Decidability.	Theory Comput. Syst.	2013	DBLP DOI BibTeX RDF
14	Pedro Baltazar	Probabilization of Logics: Completeness and Decidability.	Logica Universalis	2013	DBLP DOI BibTeX RDF
14	Piotr Hofman, Richard Mayr, Patrick Totzke	Decidability of Weak Simulation on One-counter Nets	CoRR	2013	DBLP BibTeX RDF
14	Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya	On the Decidability and Complexity of Some Fragments of Metric Temporal Logic	CoRR	2013	DBLP BibTeX RDF
14	Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard	(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints.	CoRR	2013	DBLP BibTeX RDF
14	Peter Franek, Stefan Ratschan, Piotr Zgliczynski	Quasi-decidability of a Fragment of the First-order Theory of Real Numbers.	CoRR	2013	DBLP BibTeX RDF
14	Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis	Verification of Artifact-Centric Systems: Decidability and Modeling Issues	CoRR	2013	DBLP BibTeX RDF
14	Lvzhou Li, Daowen Qiu	Decidability of minimization of fuzzy automata	CoRR	2013	DBLP BibTeX RDF
14	Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier	Stochastic Cellular Automata: Correlations, Decidability and Simulations	CoRR	2013	DBLP BibTeX RDF
14	Fabien Durand	Decidability of Uniform Recurrence of Morphic Sequences.	Int. J. Found. Comput. Sci.	2013	DBLP DOI BibTeX RDF
14	Szilárd Zsolt Fazekas, Robert Mercas	A Note on the Decidability of subword inequalities.	Int. J. Found. Comput. Sci.	2013	DBLP DOI BibTeX RDF
14	Fabien Durand	Decidability of the HD0L ultimate periodicity problem.	RAIRO Theor. Informatics Appl.	2013	DBLP DOI BibTeX RDF