Search results for "decidable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Sabrina Baselice, Piero A. Bonatti	A decidable subclass of finitary programs	CoRR	2010	DBLP BibTeX RDF
15	Amir M. Ben-Amram	On Decidable Growth-Rate Properties of Imperative Programs	DICE	2010	DBLP DOI BibTeX RDF
15	Davide Bresolin, Pietro Sala, Guido Sciavicco	Begin, After, and Later: a Maximal Decidable Interval Temporal Logic	GANDALF	2010	DBLP DOI BibTeX RDF
15	Jin-yi Cai, Xi Chen 0001	A Decidable Dichotomy Theorem on Directed Graph Homomorphisms with Non-negative Weights	CoRR	2010	DBLP BibTeX RDF
15	Janardan Misra, Suman Roy 0001	A Decidable Timeout based Extension of Propositional Linear Temporal Logic	CoRR	2010	DBLP BibTeX RDF
15	Aharon Abadi, Alexander Rabinovich, Mooly Sagiv	Decidable fragments of many-sorted logic.	J. Symb. Comput.	2010	DBLP DOI BibTeX RDF
15	Mario Alviano, Wolfgang Faber 0001, Nicola Leone	Disjunctive ASP with functions: Decidable queries and effective computation.	Theory Pract. Log. Program.	2010	DBLP DOI BibTeX RDF
15	Sabrina Baselice, Piero A. Bonatti	A decidable subclass of finitary programs.	Theory Pract. Log. Program.	2010	DBLP DOI BibTeX RDF
15	Joshua A. Cole, Takayuki Kihara	The FOR ALL THERE EXISTS-theory of the effectively closed Medvedev degrees is decidable.	Arch. Math. Log.	2010	DBLP DOI BibTeX RDF
15	Soonhoi Ha, Hyunok Oh	Decidable Signal Processing Dataflow Graphs: Synchronous and Cyclo-Static Dataflow Graphs.	Handbook of Signal Processing Systems	2010	DBLP DOI BibTeX RDF
15	Roger F. Woods	Mapping Decidable Signal Processing Graphs into FPGA Implementations.	Handbook of Signal Processing Systems	2010	DBLP DOI BibTeX RDF
15	Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis	Stably Decidable Graph Languages by Mediated Population Protocols.	SSS	2010	DBLP DOI BibTeX RDF
15	Jin-yi Cai, Xi Chen 0001	A Decidable Dichotomy Theorem on Directed Graph Homomorphisms with Non-negative Weights.	FOCS	2010	DBLP DOI BibTeX RDF
15	Hugo Gimbert, Youssouf Oualhadj	Probabilistic Automata on Finite Words: Decidable and Undecidable Problems.	ICALP (2)	2010	DBLP DOI BibTeX RDF
15	Angelo Montanari, Gabriele Puppis, Pietro Sala	Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals.	ICALP (2)	2010	DBLP DOI BibTeX RDF
15	Alexis Bès, Alexander Rabinovich	Decidable Expansions of Labelled Linear Orderings.	Fields of Logic and Computation	2010	DBLP DOI BibTeX RDF
15	Carlo A. Furia	What's Decidable about Sequences?	ATVA	2010	DBLP DOI BibTeX RDF
15	Anthony Widjaja To, Leonid Libkin	Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems.	FoSSaCS	2010	DBLP DOI BibTeX RDF
15	Stéphane Demri, Arnaud Sangnier	When Model-Checking Freeze LTL over Counter Machines Becomes Decidable.	FoSSaCS	2010	DBLP DOI BibTeX RDF
15	Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone	Enhancing ASP by Functions: Decidable Classes and Implementation Techniques.	AAAI	2010	DBLP DOI BibTeX RDF
15	Heng Zhang 0006, Mingsheng Ying	Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription.	AAAI	2010	DBLP DOI BibTeX RDF
15	Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier	A Decidable Class of Nested Iterated Schemata.	IJCAR	2010	DBLP DOI BibTeX RDF
15	Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco	A Decidable Spatial Generalization of Metric Interval Temporal Logic.	TIME	2010	DBLP DOI BibTeX RDF
15	Loris Bozzato, Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino	A Decidable Constructive Description Logic.	JELIA	2010	DBLP DOI BibTeX RDF
15	Michael Bartholomew, Joohyung Lee 0002	A Decidable Class of Groundable Formulas in the General Theory of Stable Models.	KR	2010	DBLP BibTeX RDF
15	Birte Glimm, Sebastian Rudolph	Status QIO: Conjunctive Query Entailment Is Decidable.	KR	2010	DBLP BibTeX RDF
15	Guillem Godoy, Omer Giménez, Lander Ramos, Carme Àlvarez	The HOM problem is decidable.	STOC	2010	DBLP DOI BibTeX RDF
15	Nicholas R. Radcliffe, Rakesh M. Verma	Uniqueness of Normal Forms is Decidable for Shallow Term Rewrite Systems.	FSTTCS	2010	DBLP DOI BibTeX RDF
15	Sergei A. Abramov	On some decidable and undecidable problems related to q-difference equations with parameters.	ISSAC	2010	DBLP DOI BibTeX RDF
15	Thomas Place	Decidable characterizations for tree logics. (Caractérisation décidables de logiques sur les arbres).		2010	RDF
15	Ruggero Lanotte, Danièle Beauquier	A Decidable Probability Logic for Timed Probabilistic Systems.	Fundam. Informaticae	2009	DBLP DOI BibTeX RDF
15	Miklós Maróti	The existence of a near-unanimity term in a finite algebra is decidable.	J. Symb. Log.	2009	DBLP DOI BibTeX RDF
15	Michal Kolarz, Wlodzimierz Moczurad	Directed figure codes are decidable.	Discret. Math. Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
15	Nathaniel Charlton, Bernhard Reus	A decidable class of verification conditions for programs with higher order store.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2009	DBLP DOI BibTeX RDF
15	Andreas Bauer 0002, Rajeev Goré, Alwen Tiu	A decidable policy language for history-based transaction monitoring	CoRR	2009	DBLP BibTeX RDF
15	Anthony Widjaja To, Leonid Libkin	Algorithmic metatheorems for decidable LTL model checking over infinite systems	CoRR	2009	DBLP BibTeX RDF
15	Tony Tan	On Pebble Automata for Data Languages with Decidable Emptiness Problem.	CoRR	2009	DBLP BibTeX RDF
15	C. T. Ng 0001, T. C. Edwin Cheng, Vladimir Kotov, Mikhail Y. Kovalyov	The EOQ problem with decidable warehouse capacity: Analysis, solution approaches and applications.	Discret. Appl. Math.	2009	DBLP DOI BibTeX RDF
15	Mojmír Kretínský, Vojtech Rehák, Jan Strejcek	Reachability is decidable for weakly extended process rewrite systems.	Inf. Comput.	2009	DBLP DOI BibTeX RDF
15	Najah Chridi, Mathieu Turuani, Michaël Rusinowitch	Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists.	CSF	2009	DBLP DOI BibTeX RDF	group protocol, well-tagged, autonomous keys, cryptographic protocol, decision procedure, lists
15	Hongfei Fu 0001	Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable.	APLAS	2009	DBLP DOI BibTeX RDF
15	Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis	Brief Announcement: Decidable Graph Languages by Mediated Population Protocols.	DISC	2009	DBLP DOI BibTeX RDF
15	Anna Queralt, Ernest Teniente	Decidable Reasoning in UML Schemas with Constraints.	JISBD	2009	DBLP BibTeX RDF
15	Ken-ichi Kawarabayashi, Bruce A. Reed	Hadwiger's conjecture is decidable.	STOC	2009	DBLP DOI BibTeX RDF	Hadwiger's conjecture, the four color theorem
15	Birte Glimm, Sebastian Rudolph	Conjunctive Query Entailment: Decidable in Spite of O, I, and Q.	Description Logics	2009	DBLP BibTeX RDF
15	Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat	Extending Decidable Cases for Rules with Existential Variables.	IJCAI	2009	DBLP BibTeX RDF
15	Vladimeros Vladimerou	Specifications for Decidable Hybrid Automata and Games		2009	RDF
15	Mikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen, Hans Hüttel	Decidable Fragments of a Higher Order Calculus with Locations.	EXPRESS	2008	DBLP DOI BibTeX RDF
15	Mirko Rahn	More decidable instances of Post's correspondence problem: beyond counting.	Inf. Process. Lett.	2008	DBLP DOI BibTeX RDF
15	Peter Hertling, Christoph Spandl	Shifts with Decidable Language and Non-Computable Entropy.	Discret. Math. Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
15	Andrzej S. Murawski, Igor Walukiewicz	Third-order Idealized Algol with iteration is decidable.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
15	Florent Bouchy, Alain Finkel, Jérôme Leroux	Decomposition of Decidable First-Order Logics over Integers and Reals	CoRR	2008	DBLP BibTeX RDF
15	Alexis Bès, Patrick Cégielski	Weakly maximal decidable structures.	RAIRO Theor. Informatics Appl.	2008	DBLP DOI BibTeX RDF
15	Vince Bárány	A Hierarchy of Automatic $\omega$-Words having a Decidable MSO Theory.	RAIRO Theor. Informatics Appl.	2008	DBLP DOI BibTeX RDF
15	Frédéric Mesnard, Alexander Serebrenik	Recurrence with affine level mappings is P-time decidable for CLP(R).	Theory Pract. Log. Program.	2008	DBLP DOI BibTeX RDF
15	Yoram Hirshfeld, Alexander Moshe Rabinovich	Decidable metric logics.	Inf. Comput.	2008	DBLP DOI BibTeX RDF
15	Kenneth M. Anderson, Steven Bucuvalas	Modeling Software Systems with Decidable Semantics: Implications on Software Quality Assurance.	Software Engineering Research and Practice	2008	DBLP BibTeX RDF
15	Hailong Wang, Zong Min Ma 0001	A Decidable Fuzzy Description Logic F-ALC(G).	DEXA	2008	DBLP DOI BibTeX RDF	fuzzy ALC(G), customized fuzzy data types, Tableau algorithm
15	Siva Anantharaman, Hai Lin 0005, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch	Unification modulo Homomorphic Encryption is Decidable.	UNIF	2008	DBLP BibTeX RDF
15	Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan 0001, Geir E. Dullerud	A Decidable Class of Planar Linear Hybrid Systems.	HSCC	2008	DBLP DOI BibTeX RDF
15	Ramy Ragab Hassen, Farouk Toumani, Lhouari Nourine	Web services composition is decidable.	WebDB	2008	DBLP BibTeX RDF
15	Yury Savateev	Lambek Grammars with One Division Are Decidable in Polynomial Time.	CSR	2008	DBLP DOI BibTeX RDF
15	Alessandro Artale, David Toman 0001	Decidable Reasoning over Timestamped Conceptual Models.	SEBD	2008	DBLP BibTeX RDF
15	Florent Bouchy, Alain Finkel, Jérôme Leroux	Decomposition of Decidable First-Order Logics over Integers and Reals.	TIME	2008	DBLP DOI BibTeX RDF
15	Alessandro Artale, David Toman 0001	Decidable Reasoning over Timestamped Conceptual Models.	Description Logics	2008	DBLP BibTeX RDF
15	Joachim Biskup, Piero A. Bonatti	Controlled query evaluation with open queries for a decidable relational submodel.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68P15, 68P99, 11U05, 03B70
15	Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence	Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
15	Frédéric Mesnard, Alexander Serebrenik	Recurrence with affine level mappings is P-time decidable for CLP(R)	CoRR	2007	DBLP BibTeX RDF
15	Alexander Sakharov	Intuitionistic Predicate Logic with Decidable Propositional Formulas.	Reports Math. Log.	2007	DBLP BibTeX RDF
15	Brian Wynne	Decidable theories of non-projectable l-groups of continuous functions.	Ann. Pure Appl. Log.	2007	DBLP DOI BibTeX RDF
15	Stéphane Demri, Deepak D'Souza, Régis Gascon	A Decidable Temporal Logic of Repeating Values.	LFCS	2007	DBLP DOI BibTeX RDF
15	Joel David Hamkins, David Linetsky, Russell G. Miller	The Complexity of Quickly ORM-Decidable Sets.	CiE	2007	DBLP DOI BibTeX RDF	ordinal computation, infinite time computation, hyperarithmetical hierarchy, complexity, computability, Ordinal, arithmetical hierarchy, register machine
15	Sergio Giro, Pedro R. D'Argenio	Quantitative Model Checking Revisited: Neither Decidable Nor Approximable.	FORMATS	2007	DBLP DOI BibTeX RDF
15	Yilan Gu, Mikhail Soutchanski	Decidable Reasoning in a Modified Situation Calculus.	IJCAI	2007	DBLP BibTeX RDF
15	Volker Diekert, Anca Muscholl	Solvability of Equations in Graph Groups Is Decidable.	Int. J. Algebra Comput.	2006	DBLP DOI BibTeX RDF
15	Paul Brodhead	Enumerations of Pi10 Classes: Acceptability and Decidable Classes.	CCA	2006	DBLP DOI BibTeX RDF
15	Salvatore Caporaso	A decidable characterization of the classes between lintime and exptime.	Inf. Process. Lett.	2006	DBLP DOI BibTeX RDF
15	Christian Choffrut, Serge Grigorieff	Separability of rational relations in A* × Nm by recognizable relations is decidable.	Inf. Process. Lett.	2006	DBLP DOI BibTeX RDF
15	Joost Engelfriet, Sebastian Maneth	The equivalence problem for deterministic MSO tree transducers is decidable.	Inf. Process. Lett.	2006	DBLP DOI BibTeX RDF
15	Dorella Bellè, Franco Parlamento	Truth in V for ∃*∀∀-sentences is decidable.	J. Symb. Log.	2006	DBLP DOI BibTeX RDF
15	Mihai Prunescu	Undecidable and decidable restrictions of Hilbert's Tenth Problem: images of polynomials vs. images of exponential functions.	Math. Log. Q.	2006	DBLP DOI BibTeX RDF
15	Joel David Hamkins, Alexei Miasnikov	The Halting Problem Is Decidable on a Set of Asymptotic Probability One.	Notre Dame J. Formal Log.	2006	DBLP DOI BibTeX RDF
15	Bianca Truthe	The finiteness of synchronous, tabled picture languages is decidable.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
15	Sebastian Bala	Complexity of Regular Language Matching and Other Decidable Cases of the Satisfiability Problem for Constraints Between Regular Open Terms.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
15	Rolf Nossum	Corrigendum to "A decidable multi-modal logic of context" [Journal of Applied Logic 1 (1-2) (2003) 119-133].	J. Appl. Log.	2006	DBLP DOI BibTeX RDF
15	Danièle Beauquier	Decidable properties for monadic abstract state machines.	Ann. Pure Appl. Log.	2006	DBLP DOI BibTeX RDF
15	Danièle Beauquier, Anatol Slissenko	Periodicity based decidable classes in a first order timed logic.	Ann. Pure Appl. Log.	2006	DBLP DOI BibTeX RDF
15	Danièle Beauquier, Alexander Moshe Rabinovich, Anatol Slissenko	A Logic of Probability with Decidable Model Checking.	J. Log. Comput.	2006	DBLP DOI BibTeX RDF
15	Igor Gorbunov	A decidable modal logic that is finitely undecidable.	Advances in Modal Logic	2006	DBLP BibTeX RDF
15	Savas Konur	A Decidable Temporal Logic for Events and States.	TIME	2006	DBLP DOI BibTeX RDF
15	Aaron R. Bradley, Zohar Manna, Henny B. Sipma	What's Decidable About Arrays?	VMCAI	2006	DBLP DOI BibTeX RDF
15	Alessio Lomuscio, Bozena Wozna	A Complete and Decidable Axiomatisation for Deontic Interpreted Systems.	DEON	2006	DBLP DOI BibTeX RDF
15	Joachim Biskup, Piero A. Bonatti	Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel.	FoIKS	2006	DBLP DOI BibTeX RDF	Complete information system, Open query, Safe query, Domain-independent query, Bernays-Schönfinkel class, Completeness test, Relational database, Confidentiality, First-order logic, Finite model theory, Guarded fragment, Lying, Refusal, Implication problem, Controlled query evaluation
15	Alessio Lomuscio, Bozena Wozna	A complete and decidable security-specialised logic and its application to the TESLA protocol.	AAMAS	2006	DBLP DOI BibTeX RDF	security protocols, epistemic logic, TESLA
15	Sophie Pinchinat, Stéphane Riedweg	A decidable class of problems for control under partial observation.	Inf. Process. Lett.	2005	DBLP DOI BibTeX RDF
15	Ferucio Laurentiu Tiplea, Dan C. Marinescu	Structural soundness of workflow nets is decidable.	Inf. Process. Lett.	2005	DBLP DOI BibTeX RDF
15	Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi	Decidable containment of recursive queries.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
15	Juhani Karhumäki, Wojciech Plandowski, Wojciech Rytter	On the complexity of decidable cases of the commutation problem of languages.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
15	Joost Engelfriet, Sebastian Maneth	The Equivalence Problem for Deterministic MSO Tree Transducers is Decidable	CoRR	2005	DBLP BibTeX RDF
15	Gem Stapleton, John Howse, John Taylor 0001	A Decidable Constraint Diagram Reasoning System.	J. Log. Comput.	2005	DBLP DOI BibTeX RDF