The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for decidability with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1950-1972 (18) 1974-1976 (17) 1977-1979 (24) 1980-1981 (22) 1982-1984 (26) 1985-1986 (19) 1987-1988 (29) 1989 (17) 1990 (22) 1991 (27) 1992 (29) 1993 (30) 1994 (53) 1995 (38) 1996 (43) 1997 (37) 1998 (51) 1999 (62) 2000 (55) 2001 (86) 2002 (61) 2003 (67) 2004 (106) 2005 (111) 2006 (112) 2007 (124) 2008 (112) 2009 (112) 2010 (50) 2011 (47) 2012 (50) 2013 (44) 2014 (48) 2015 (54) 2016 (48) 2017 (47) 2018 (41) 2019 (43) 2020 (39) 2021 (42) 2022 (30) 2023 (41) 2024 (5)
Publication types (Num. hits)
article(784) book(5) incollection(9) inproceedings(1314) phdthesis(27)
Venues (Conferences, Journals, ...)
CoRR(147) Theor. Comput. Sci.(77) LICS(58) ICALP(56) MFCS(50) CSL(48) RTA(44) CONCUR(43) J. Symb. Log.(39) FSTTCS(38) STACS(38) Inf. Comput.(37) FoSSaCS(30) CADE(27) PODS(27) ACM Trans. Comput. Log.(25) More (+10 of total 465)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 839 occurrences of 448 keywords

Results
Found 2139 publication records. Showing 2139 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
53Victor L. Selivanov A Logical Approach to Decidability of Hierarchies of Regular Star-Free Languages. Search on Bibsonomy STACS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Star-free regular languages, hierarchies, decidability, definability
53Mark Weyer Decidability of S1S and S2S. Search on Bibsonomy Automata, Logics, and Infinite Games The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
45Petr Jancar Selected Ideas Used for Decidability and Undecidability of Bisimilarity. Search on Bibsonomy Developments in Language Theory The full citation details ... 2008 DBLP  DOI  BibTeX  RDF decidability, bisimulation equivalence
45Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya Decidability of Safety Properties of Timed Multiset Rewriting. Search on Bibsonomy FTRTFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF real-time systems, timed automata, decidability, timed Petri nets
45Helko Lehmann, Michael Leuschel Decidability Results for the Propositional Fluent Calculus. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF reasoning about action and change, fluent calculus, model checking, petri nets, temporal logics, decidability
45Matteo Baldoni, Laura Giordano 0001, Alberto Martelli A Tableau for Multimodal Logics and Some (Un)Decidability Results. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Multimodal logics, Prefixed Tableaux methods, Decidability, Formal Grammars
45Qing Zhou, Weihao Hu Decidability in Analysis. Search on Bibsonomy Computing The full citation details ... 2005 DBLP  DOI  BibTeX  RDF almost decidable, Decidable
45Slawomir Lasota 0001 Decidability of Strong Bisimilarity for Timed BPP. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
39Antje Nowack A Guarded Fragment for Abstract State Machines. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Datalog LITE, guarded fixed-point logic, computability, decidability, Abstract State Machines, expressive power, guarded fragment
39Joe Hendrix, Hitoshi Ohsaki Combining Equational Tree Automata over AC and ACI Theories. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra Composing Semi-algebraic O-Minimal Automata. Search on Bibsonomy HSCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39Colin Stirling Schema Revisited. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
37Sergey Babenyshev, Vladimir V. Rybakov Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL. Search on Bibsonomy CiE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multi-agent logics, relational Kripke-Hintikka models, decidability algorithms, satisfiability, linear temporal logic, hybrid logics
37Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF neighbourhood interval logics, decidability, expressiveness
37Ralf Küsters On the decidability of cryptographic protocols with open-ended data structures. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Complexity, Cryptographic protocols, Decidability, Transducers
37Petr Hlinený, Detlef Seese On Decidability of MSO Theories of Representable Matroids. Search on Bibsonomy IWPEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF MSO theory, decidability, matroid, branch-width
37Fabio Balduzzi, Angela Di Febbraro, Alessandro Giua, Carla Seatzu Decidability results in First-Order Hybrid Petri Nets. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF hybrid Petri nets, decidability properties, timed automata, hybrid automata
37Peng Cheng 0009, George J. Pappas, Vijay Kumar 0001 Decidability of Motion Planning with Differential Constraints. Search on Bibsonomy ICRA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Laura Recalde, Serge Haddad, Manuel Silva Suárez Continuous Petri Nets: Expressive Power and Decidability Issues. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Hubert Comon-Lundh, Véronique Cortier New Decidability Results for Fragments of First-Order Logic and Application to Cryptographic Protocols. Search on Bibsonomy RTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
37Colin Stirling Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes. Search on Bibsonomy FoSSaCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
37Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya Some Decidability Results for Duration Calculus under Synchronous Interpretation. Search on Bibsonomy FTRTFT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
32Monika Rauch Henzinger, Thomas A. Henzinger, Peter W. Kopke Computing Simulations on Finite and Infinite Graphs. Search on Bibsonomy FOCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF simulations computing, infinite graphs, finite graphs, labeled graphs, reactive systems verification, O(mn) algorithm, symbolic similarity-checking procedure, 2D rectangular automata, continuous environments, model-checking problem, graph theory, decidability, decidability, automata theory, similarity relations
32Robert Beals Algorithms for Matrix Groups and the Tits Alternative. Search on Bibsonomy FOCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF finitely generated linear group, nonabelian free group, solvable subgroup, finite index, finitely generated matrix group, nonabelian free subgroups, nilpotent subgroup, encoding length, computational complexity, complexity, encoding, polynomial time algorithm, decidability, decidability, matrix algebra, formal logic, homomorphism, group theory, finite groups, matrix groups, algebraic number field, Las Vegas algorithm, membership testing
32Lucia Acciai, Michele Boreale Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types. Search on Bibsonomy ICALP (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF behavioural types, safety, decidability, pi-calculus, spatial logic
32Arne Meier, Martin Mundhenk, Thomas Schneider 0002, Michael Thomas 0001, Volker Weber, Felix Weiss The Complexity of Satisfiability for Fragments of Hybrid Logic-Part I. Search on Bibsonomy MFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Post’s lattice, complexity, satisfiability, decidability, hybrid logic
32Renate A. Schmidt, Ullrich Hustadt The axiomatic translation principle for modal logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Translation approach, small model property, completeness, decidability
32Martin Fränzle, Michael R. Hansen Deciding an Interval Logic with Accumulated Durations. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF metric-time temporal logic, multi-priced timed automata, Real-time systems, model-checking, decidability
32Hitoshi Ohsaki, Hiroyuki Seki Languages Modulo Normalization. Search on Bibsonomy FroCoS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF tree automata modulo axioms, equational rewriting, Boolean closedness, hedge automata and XML schema, regularity, decidability
32Hitoshi Ohsaki, Jean-Marc Talbot, Sophie Tison, Yves Roos Monotone AC-Tree Automata. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF equational tree automata, complexity, decidability, closure properties
32Healfdene Goguen A syntactic approach to eta equality in type theory. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF beta-eta equality, decidability, type checking, logical frameworks
32Bernhard Heinemann Algebras as Knowledge Structures. Search on Bibsonomy MFCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF modal and hybrid logic, knowledge and algebras, decidability, topological reasoning, reasoning about knowledge
32Martin Fränzle Model-checking dense-time Duration Calculus. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Dense-time Duration Calculus, Model-checking, Decidability
32Bernhard Heinemann A Hybrid Logic of Knowledge Supporting Topological Reasoning. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF logical frameworks for reasoning, reasoning about knowledge and topology, completeness, decidability, hybridization
32Martin Fränzle What Will Be Eventually True of Polynomial Hybrid Automata? Search on Bibsonomy TACS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF State recurrence, Progress properties, Verification procedures, Hybrid systems, Decidability
32Hitoshi Ohsaki Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF decidability, Tree automata, equational theory
31Petr Jancar, Jirí Srba Undecidability of bisimilarity by defender's forcing. Search on Bibsonomy J. ACM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF process algebra, undecidability, pushdown automata, Bisimilarity
31Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra Decidable Compositions of O-Minimal Automata. Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Christopher A. Stone, Robert Harper 0001 Extensional equivalence and singleton types. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF equivalence algorithms, logical relations, Singleton types
31Antje Nowack Deciding the Verification Problem for Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31Max I. Kanovich The Expressive Power of Horn Monadic Linear Logic. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
31Jordi Levy Decidable and Undecidable Second-Order Unification Problems. Search on Bibsonomy RTA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
30Wei Zhang On the decidability of open logic. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF open logic, epistemic process, decidability
30Chan Le Duc Decidability of SHI with Transitive Closure of Roles. Search on Bibsonomy ESWC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF OWL, Description Logics, Decidability, Tableaux
30Ivan Lanese, Jorge A. Pérez 0001, Davide Sangiorgi, Alan Schmitt On the Expressiveness and Decidability of Higher-Order Process Calculi. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF behavioral equivalences, decidability, expressiveness, process calculi, higher-order languages
30Zhenhua Duan, Cong Tian Decidability of Propositional Projection Temporal Logic with Infinite Models. Search on Bibsonomy TAMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF infinite model, model checking, satisfiability, decidability, interval temporal logic
30Alexander Arbieto, Carlos Matheus Decidability of Chaos for Some Families of Dynamical Systems. Search on Bibsonomy Found. Comput. Math. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Lyapounov exponents, SRB measures, Topological entropy, Decidability, Chaos
30Laurent Mazaré Decidability of Opacity with Non-Atomic Keys. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Dolev-Yao Constraints, Security, Formal Verification, Decidability, Rewriting Systems, Opacity
30Géraud Sénizergues Decidability of Bisimulation Equivalence for Equational Graphs of Finite Out-Degree. Search on Bibsonomy FOCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF equational graphs, deterministic pushdown automata, rational languages, matrix semi-groups, complete formal systems, decidability, bisimulation
29Fernando Rosa-Velardo, David de Frutos-Escrig Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication. Search on Bibsonomy Petri Nets The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Matthias Horbach, Christoph Weidenbach Decidability Results for Saturation-Based Model Building. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Thomas Chatain, Paul Gastin, Nathalie Sznajder Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems. Search on Bibsonomy SOFSEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Distributed synthesis, Asynchronous systems
29Jacques Sakarovitch, Rodrigo de Souza On the Decidability of Bounded Valuedness for Transducers. Search on Bibsonomy MFCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Marc Bezem, Tore Langholm, Michal Walicki Completeness and Decidability in Sequence Logic. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Christopher Lynch, Duc-Khanh Tran Automatic Decidability and Combinability Revisited. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo Decidability results for sets with atoms. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem
29Riccardo Rosati 0001 On the decidability and finite controllability of query processing in databases with incomplete information. Search on Bibsonomy PODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Rakesh M. Verma, Ara Hayrapetyan A new decidability technique for ground term rewriting systems with applications. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF standard forms, unique normalization, decision procedures, rewriting, Confluence, pumping lemma
29Michael Domaratzki, Kai Salomaa Decidability of Trajectory-Based Equations. Search on Bibsonomy MFCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Henning Bordihn, Markus Holzer 0001, Martin Kutrib Some Non-semi-decidability Problems for Linear and Deterministic Context-Free Languages. Search on Bibsonomy CIAA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Franz Baader, Silvio Ghilardi, Cesare Tinelli A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics. Search on Bibsonomy IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Yasunori Ishihara, Yumi Shimakawa, Toru Fujiwara Type Inferability and Decidability of the Security Problem Against Inference Attacks on Object-Oriented Databases. Search on Bibsonomy ICICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Silvio Ghilardi, Luigi Santocanale Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics. Search on Bibsonomy LPAR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Manfred Schmidt-Schauß Decidability of Arity-Bounded Higher-Order Matching. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Heinz Faßbender, Sebastian Maneth A Strict Border for the Decidability of E-Unification for Recursive Functions. Search on Bibsonomy ALP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
29Salvatore Ruggieri Decidability of Logic Program Semantics and Applications to Testing. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
29Parosh Aziz Abdulla, Mats Kindahl Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract). Search on Bibsonomy CONCUR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
29Paritosh K. Pandya Some Extensions to Propositional Mean-Value Caculus: Expressiveness and Decidability. Search on Bibsonomy CSL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
29Petr Jancar Decidability Questions for Bismilarity of Petri Nets and Some Related Problems. Search on Bibsonomy STACS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
29Karel Culík II New Techniques for Proving the Decidability of Equivalence Problems. Search on Bibsonomy ICALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
27Giangiacomo Gerla Decidability, partial decidability and sharpness relation for L-subsets. Search on Bibsonomy Stud Logica The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
24Maria Bulinska On the Complexity of Nonassociative Lambek Calculus with Unit. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Nonassociative Lambek calculus, P-TIME decidability, Context-free grammar
24C. R. Prashanth, S. P. Ganavi, T. D. Mahalakshmi, K. B. Raja, K. R. Venugopal 0001, Lalit M. Patnaik Iris feature extraction using directional filter bank for personal identification. Search on Bibsonomy Bangalore Compute Conf. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF decidability index, directional filter bank, iris fragmentation, biometrics, iris recognition
24Sergey Babenyshev, Vladimir V. Rybakov Temporal Logic for Modeling Discovery and Logical Uncertainty. Search on Bibsonomy KES (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF decidability algorithms, Kripke/Hintikka models, temporal logic, uncertainty, chance discovery
24Gerardo Schneider Reachability analysis of generalized polygonal hybrid systems. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF GSPDI, verification, hybrid systems, decidability, reachability
24Vladimir V. Rybakov Multi-agent Logics with Interacting Agents Based on Linear Temporal Logic: Deciding Algorithms. Search on Bibsonomy ICAISC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multi-agent logic, knowledge based reasoning, relational Kripke/Hintikka models, decidability algorithms, hybrid logics
24Carsten Lutz, Maja Milicic A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF concrete domains, tableau algorithm, description logic, decidability
24Michael R. Hansen, Dang Van Hung A Theory of Duration Calculus with Application. Search on Bibsonomy Domain Modeling and the Duration Calculus The full citation details ... 2007 DBLP  DOI  BibTeX  RDF metric-time temporal logic, Real-time systems, model-checking, application, decidability, duration calculus
24Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin Two-variable logic on data trees and XML reasoning. Search on Bibsonomy PODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF data trees, first-order logic, decidability
24Andrzej Grzegorczyk Undecidability without Arithmetization. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF discernibility, Kurt Gödel, Alfred Tarski, representability, decidability, arithmetization, concatenation
24Stefan S. Dantchev, Frank D. Valencia On the computational limits of infinite satisfaction. Search on Bibsonomy SAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF infinite CSP, open CSP, decidability, constraint satisfaction problems
24Luigi Di Lascio Analytic fuzzy tableaux. Search on Bibsonomy Soft Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Fuzzy deductive systems, Fuzzy logic, Completeness, Decidability, Soundness, Tableaux
24Kosta Dosen, Zoran Petric Coherent Bicartesian and Sesquicartesian Categories. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF categorial proof theory, conjunction and disjunction, decidability of equality of deductions Mathematics Subject Classification (2000): 18A30, 18A15, 03G30, 03F05
24Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski Checking Amalgamability Conditions for C ASL Architectural Specifications. Search on Bibsonomy MFCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF formal specification and program development, CASL, algorithms, decidability, architectural specifications, amalgamation
24Hsu-Chun Yen Analysis of Self-Stabilization for Infinite-State Systems. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Petri net, self-stabilization, Decidability, infinite-state system
24Witold Charatonik, Andreas Podelski Set Constraints with Intersection. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF satisfiability test, set-based program analysis, DEXPTIME-complete, complexity characterization, negative set constraints, negated conjuncts, negated inclusion, computability, decidability, intersection, inclusions, set constraints
23Limin Jia 0001, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich Dependent types and program equivalence. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF dependent types, program equivalence
23Jeremy E. Dawson, Alwen Tiu Formalising Observer Theory for Environment-Sensitive Bisimulation. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Alwen Tiu, Rajeev Goré A Proof Theoretic Analysis of Intruder Theories. Search on Bibsonomy RTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF AC convergent theories, intruder deduction, security protocols, sequent calculus
23Guillem Godoy, Sebastian Maneth, Sophie Tison Classes of Tree Homomorphisms with Decidable Preservation of Regularity. Search on Bibsonomy FoSSaCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Carlos Olarte, Frank D. Valencia The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF first-order linear temporal logic, security protocols, closure operators, concurrent constraint programming
23Riccardo Rosati 0001 On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. Search on Bibsonomy RR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune Combining Algorithms for Deciding Knowledge in Security Protocols. Search on Bibsonomy FroCoS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Petr Jancar, Jirí Srba Undecidability Results for Bisimilarity on Prefix Rewrite Systems. Search on Bibsonomy FoSSaCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Nadia Busi Deciding Behavioural Properties in Brane Calculi. Search on Bibsonomy CMSB The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Piotr Hoffman Unions of Equational Monadic Theories. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Ullrich Hustadt, Boris Konev, Renate A. Schmidt Deciding Monodic Fragments by Temporal Resolution. Search on Bibsonomy CADE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Piotr Hoffman Union of Equational Theories: An Algebraic Approach. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Laura Bozzelli Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 2139 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license