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 (16) 1974-1976 (17) 1977-1979 (24) 1980-1981 (22) 1982-1984 (24) 1985-1986 (19) 1987-1988 (29) 1989 (16) 1990 (21) 1991 (27) 1992 (29) 1993 (30) 1994 (53) 1995 (37) 1996 (43) 1997 (37) 1998 (50) 1999 (62) 2000 (55) 2001 (85) 2002 (60) 2003 (67) 2004 (104) 2005 (113) 2006 (109) 2007 (125) 2008 (113) 2009 (111) 2010 (48) 2011 (46) 2012 (50) 2013 (43) 2014 (48) 2015 (52) 2016 (47) 2017 (45) 2018 (40) 2019 (11)
Publication types (Num. hits)
article(685) book(5) incollection(7) inproceedings(1218) phdthesis(13)
Venues (Conferences, Journals, ...)
CoRR(94) Theor. Comput. Sci.(75) ICALP(54) LICS(54) CSL(47) MFCS(47) RTA(44) CONCUR(39) J. Symb. Log.(39) FSTTCS(37) STACS(37) Inf. Comput.(35) FoSSaCS(30) PODS(27) CADE(26) Developments in Language Theor...(25) More (+10 of total 410)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 839 occurrences of 448 keywords

Results
Found 1928 publication records. Showing 1928 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
56Mark Weyer Decidability of S1S and S2S. Search on Bibsonomy Automata, Logics, and Infinite Games The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
54Victor 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
47Qing Zhou, Weihao Hu Decidability in Analysis. Search on Bibsonomy Computing The full citation details ... 2005 DBLP  DOI  BibTeX  RDF almost decidable, Decidable
47Slawomir Lasota Decidability of Strong Bisimilarity for Timed BPP. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
46Petr 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
46Mitsuharu 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
46Helko 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
46Matteo 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
43Joe 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
43Alberto 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
43Colin Stirling Schema Revisited. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
42Antje Nowack A Guarded Fragment for Abstract State Machines. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Datalog LITE, guarded fixed-point logic, computability, decidability, Abstract State Machines, expressive power, guarded fragment
39Peng Cheng, 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
39Laura 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
39Hubert 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
39Colin 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
39Manoranjan 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
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 Discrete Event Dynamic Systems The full citation details ... 2001 DBLP  DOI  BibTeX  RDF hybrid Petri nets, decidability properties, timed automata, hybrid automata
34Petr 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
34Alberto 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
34Christopher 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
34Antje Nowack Deciding the Verification Problem for Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Max I. Kanovich The Expressive Power of Horn Monadic Linear Logic. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
34Jordi Levy Decidable and Undecidable Second-Order Unification Problems. Search on Bibsonomy RTA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
33Lucia 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
33Arne 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
33Renate 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
33Martin 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
33Hitoshi 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
33Healfdene 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
33Hitoshi 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
33Bernhard 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
33Martin Fränzle Model-checking dense-time Duration Calculus. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Dense-time Duration Calculus, Model-checking, Decidability
33Bernhard 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
33Martin 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
33Hitoshi 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
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
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
30Thomas 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
30Fernando 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
30Matthias Horbach, Christoph Weidenbach Decidability Results for Saturation-Based Model Building. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Jacques 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
30Marc Bezem, Tore Langholm, Michal Walicki Completeness and Decidability in Sequence Logic. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Christopher Lynch, Duc-Khanh Tran Automatic Decidability and Combinability Revisited. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Agostino Dovier, Andrea Formisano, 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
30Riccardo Rosati 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
30Maria 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
30Rakesh 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
30Henning 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
30Yasunori 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
30Michael Domaratzki, Kai Salomaa Decidability of Trajectory-Based Equations. Search on Bibsonomy MFCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Franz 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
30Silvio 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
30Manfred Schmidt-Schauß Decidability of Arity-Bounded Higher-Order Matching. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Salvatore Ruggieri Decidability of Logic Program Semantics and Applications to Testing. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
30Heinz 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
30Parosh 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
30Paritosh 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
30Petr 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
30Karel Culik II New Techniques for Proving the Decidability of Equivalence Problems. Search on Bibsonomy ICALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
29Wei Zhang On the decidability of open logic. Search on Bibsonomy Science in China Series F: Information Sciences The full citation details ... 2009 DBLP  DOI  BibTeX  RDF open logic, epistemic process, decidability
29Chan 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
29Ivan Lanese, Jorge A. Pérez, 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
29Zhenhua 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
29Alexander Arbieto, Carlos Matheus Decidability of Chaos for Some Families of Dynamical Systems. Search on Bibsonomy Foundations of Computational Mathematics The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Lyapounov exponents, SRB measures, Topological entropy, Decidability, Chaos
29Laurent 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
29Gé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
26Giangiacomo Gerla Decidability, partial decidability and sharpness relation for L-subsets. Search on Bibsonomy Studia Logica The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
26Limin Jia, 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
26Alwen 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
26Jeremy E. Dawson, Alwen Tiu Formalising Observer Theory for Environment-Sensitive Bisimulation. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Guillem 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
26Carlos 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
26Riccardo Rosati On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. Search on Bibsonomy RR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Mathilde 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
26Piotr Hoffman Unions of Equational Monadic Theories. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Petr Jancar, Jirí Srba Undecidability Results for Bisimilarity on Prefix Rewrite Systems. Search on Bibsonomy FoSSaCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Nadia Busi Deciding Behavioural Properties in Brane Calculi. Search on Bibsonomy CMSB The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Piotr Hoffman Union of Equational Theories: An Algebraic Approach. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Laura 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
26Ullrich 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
26Tim French 0002 Bisimulation Quantified Logics: Undecidability. Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli A Comprehensive Framework for Combined Decision Procedures. Search on Bibsonomy FroCoS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Ralf Küsters, Thomas Wilke Automata-Based Analysis of Recursive Cryptographic Protocols. Search on Bibsonomy STACS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Herman J. ter Horst Extending the RDFS Entailment Lemma. Search on Bibsonomy International Semantic Web Conference The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Enrico Marzano, Angelo Montanari, Alberto Policriti Binary Extensions of S1S and the Composition Method. Search on Bibsonomy Verification: Theory and Practice The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26B. Meenakshi 0002, Ramaswamy Ramanujam Reasoning about Layered Message Passing Systems. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Dietrich Kuske, Markus Lohrey On the Theory of One-Step Rewriting in Trace Monoids. Search on Bibsonomy ICALP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Christopher A. Stone, Robert Harper 0001 Deciding Type Equivalence with Singleton Kinds. Search on Bibsonomy POPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26E. Allen Emerson, Vineet Kahlon Reducing Model Checking of the Many to the Few. Search on Bibsonomy CADE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Véronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes Decidable Fragments of Simultaneous Rigid Reachability. Search on Bibsonomy ICALP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
26Martin Müller 0001, Joachim Niehren Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic. Search on Bibsonomy RTA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
26Gwénaël Richomme Some Trace Monoids Where Both the Star Problem and the Finite Power Property Problem are Decidable. Search on Bibsonomy MFCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF trace monoids, Star Problem, Finite Power Property Problem, recognizability
26Jens Chr. Godskesen, Kim Guldstrand Larsen Real-Time Calculi and Expansion Theorems. Search on Bibsonomy FSTTCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
24Maria Bulinska On the Complexity of Nonassociative Lambek Calculus with Unit. Search on Bibsonomy Studia 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, 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
Displaying result #1 - #100 of 1928 (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 Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license