The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1939-1969 (15) 1970-1976 (18) 1977-1981 (17) 1982-1984 (19) 1985-1987 (30) 1988 (15) 1989 (16) 1990 (24) 1991 (20) 1992 (22) 1993 (21) 1994 (29) 1995 (23) 1996 (24) 1997 (28) 1998 (38) 1999 (43) 2000 (34) 2001 (54) 2002 (56) 2003 (70) 2004 (71) 2005 (90) 2006 (80) 2007 (103) 2008 (99) 2009 (86) 2010 (17) 2011-2012 (24) 2013-2014 (24) 2015 (16) 2016-2017 (20) 2018 (18) 2019 (18) 2020-2021 (20) 2022-2023 (28) 2024 (3)
Publication types (Num. hits)
article(399) incollection(3) inproceedings(930) phdthesis(1)
Venues (Conferences, Journals, ...)
CoRR(69) LICS(41) MFCS(40) RTA(40) ICALP(38) PODS(38) STACS(35) Theor. Comput. Sci.(30) J. Symb. Log.(29) CSL(28) CONCUR(27) FSTTCS(25) POPL(25) J. ACM(24) CAV(23) FoSSaCS(22) More (+10 of total 350)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 705 occurrences of 446 keywords

Results
Found 1333 publication records. Showing 1333 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
126Alexei G. Myasnikov Generic Complexity of Undecidable Problems. Search on Bibsonomy CSR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
41Olivier Finkel Undecidable Problems About Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
41Paliath Narendran, Jonathan Stillman It is Undecidable Whether the Knuth-Bendix Completion Procedure Generates a Crossed Pair. Search on Bibsonomy STACS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
41Juris Hartmanis On the Complexity of Undecidable Problems in Automata Theory. Search on Bibsonomy J. ACM The full citation details ... 1969 DBLP  DOI  BibTeX  RDF
39Frank Wolter, Michael Zakharyaschev Undecidability of the unification and admissibility problems for modal and description logics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF admissible rule, description logic, decidability, Unification, hybrid logic
33Maurice Margenstern The Periodic Domino Problem Is Undecidable in the Hyperbolic Plane. Search on Bibsonomy RP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF hyperbolic plane, periodic tiling problem, tilings, undecidability
33Michal Kunc The Simplest Language Where Equivalence of Finite Substitutions Is Undecidable. Search on Bibsonomy FCT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Pavel Krcál, Wang Yi 0001 Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Vincent D. Blondel, Vincent Canterini Undecidable Problems for Probabilistic Automata of Fixed Dimension. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
33Eugene Asarin, Gerardo Schneider Widening the Boundary between Decidable and Undecidable Hybrid Systems. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
33Juhani Karhumäki, Leonid P. Lisovik A Simple Undecidable Problem: The Inclusion Problem for Finite Substitutions on ab*c. Search on Bibsonomy STACS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
33Paliath Narendran, Friedrich Otto The Word Matching Problem Is Undecidable For Finite Special String-Rewriting Systems That Are Confluent. Search on Bibsonomy ICALP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF matching, unification, equational theory, string-rewriting systems
33Géraud Sénizergues Some Undecidable Termination Problems for Semi-Thue Systems (Abstract). Search on Bibsonomy RTA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
33Max Dauchet Termination of Rewriting is Undecidable in the One-Rule Case. Search on Bibsonomy MFCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
31Paul Bell, Igor Potapov Lowering Undecidability Bounds for Decision Questions in Matrices. Search on Bibsonomy Developments in Language Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF vector reachability, matrix semigroups, piecewise linear maps, membership, Theory of computing
31Thierry Joly Encoding of the Halting Problem into the Monster Type & Applications. Search on Bibsonomy TLCA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31Mohamed G. Gouda, Louis E. Rosier Communicating Finite State Machines with Priority Channnels. Search on Bibsonomy ICALP The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
31Neil D. Jones, Steven S. Muchnick Even Simple Programs are Hard to Analyze. Search on Bibsonomy POPL The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
25Guillem Godoy, Hugo Hernández Undecidable properties of flat term rewrite systems. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 16S15, 68Q42
25Eero Lehtonen An Undecidable Permutation of the Natural Numbers. Search on Bibsonomy RP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Permutation, Undecidability
25Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Victor L. Selivanov A Useful Undecidable Theory. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF discrete weak semilattice, partition, theory, reducibility, undecidability, Semilattice
25Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. Search on Bibsonomy LICS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Vladimir A. Zakharov The Equivalence Problem for Computational Models: Decidable and Undecidable Cases. Search on Bibsonomy MCU The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25Philippe Schnoebelen Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems. Search on Bibsonomy TACS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25Steffen Hölldobler, Dietrich Kuske The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus. Search on Bibsonomy LPAR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25Mark Harman, Chris Fox, Robert M. Hierons, David W. Binkley, Sebastian Danicic Program Simplification as a Means of Approximating Undecidable Propositions. Search on Bibsonomy IWPC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Testing, Transformation, Slicing
25Jordi Levy Decidable and Undecidable Second-Order Unification Problems. Search on Bibsonomy RTA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
25Sergei G. Vorobyov The First-Order Theory of One Step Rewriting in Linear Noetherian Systems is Undecidable. Search on Bibsonomy RTA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
25Ralf Treinen The First-Order Theory of One-Step Rewriting is Undecidable. Search on Bibsonomy RTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
25Parosh Aziz Abdulla, Bengt Jonsson 0001 Undecidable Verification Problems for Programs with Unreliable Channels. Search on Bibsonomy ICALP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
25Tao Jiang 0001, Arto Salomaa, Kai Salomaa, Sheng Yu 0001 Inclusion is Undecidable for Pattern Languages. Search on Bibsonomy ICALP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF inclusion problems, patterns, decidability, pattern languages, equivalence problems
25Benjamin C. Pierce Bounded Quantification is Undecidable. Search on Bibsonomy POPL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
25Ivan Korec Undecidable Problems Concerning Generalized Pascal Triangles of Commutative Algebras. Search on Bibsonomy MFCS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
25Li Miao, Da-Fang Zhang A New Proof for the Undecidability of Context-Sensitive Synchronization-Sensitive Analysis. Search on Bibsonomy FCST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF concurrent interprocedural program analysis, synchronization-sensitive analysis, undecidable problem, context-sensitive analysis
25Wilfried Sieg On mind & Turing's machines. Search on Bibsonomy Nat. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF absolutely unsolvable (undecidable), axiom of infinity, Church’s Thesis, Diophantine problem, finite machine, general recursive function, mechanical computability, objective mathematics, subjective mathematics, Turing machine
25Arthur Charlesworth The undecidability of associativity and commutativity analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Associative function, commutative function, loop program, recursively enumerable, reduction, recursive, sequence, scan, undecidable, parallel prefix, primitive recursive
25Martin F. van Bommel, Grant E. Weddell Reasoning About Equations and Functional Dependencies on Complex Objects. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF complex object types, property value path, property paths, property value navigation, directed labeled graph, equational constraint, stratification condition, data structures, query processing, database management systems, query languages, query language, query languages, object-oriented databases, directed graphs, reasoning, database theory, functional dependencies, decision procedures, conjunctive queries, undecidable, complex objects, semantic data models, object-oriented data models, equations, constraint theory, constraint theory, constraint language
25Jean Vuillemin Exact Real Computer Arithmetic with Continued Fractions. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1990 DBLP  DOI  BibTeX  RDF exact real computer arithmetic, computable real numbers, undecidable comparison, integer division, infinite 1/0, undefined 0/0 numbers, algebraic algorithm, transcendental algorithm, Gauss, LeLisp, products, digital arithmetic, positional, exponentials, number theory, special functions, continued fractions, arithmetic operations, logarithms, sums, trigonometric functions
25Amir Pnueli, Roni Rosner Distributed Reactive Systems Are Hard to Synthesize Search on Bibsonomy FOCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF elementarily decidable, distributed reactive system, propositional specification, nonelementarily decidable, distributed architecture, undecidable, finite-state
25Samuel R. Buss, Christos H. Papadimitriou, John N. Tsitsiklis On the Predictability of Coupled Automata: An Allegory about Chaos Search on Bibsonomy FOCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF coupled automata, symmetric global control, undecidable problem, complexity, predictability, chaos, dichotomy
25John H. Reif, J. D. Tygar, Akitoshi Yoshida The Computability and Complexity of Optical Beam Tracing Search on Bibsonomy FOCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF optical models, refractive surfaces, undecidable problem, PSPACE-hard problem, optical beam tracing, ray-tracing problem, reflective surfaces, incident angle, complexity, computability
25Anne Condon, Richard J. Lipton On the Complexity of Space Bounded Interactive Proofs (Extended Abstract) Search on Bibsonomy FOCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF space bounded interactive proofs, finite-state verifiers, Markov chains, finite-state machines, upper bound, undecidable, interactive proof systems, recursively enumerable language
25Lenore Blum, Mike Shub, Steve Smale On a Theory of Computation over the Real Numbers; NP Completeness, Recursive Functions and Universal Machines (Extended Abstract) Search on Bibsonomy FOCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF universal machines, partial recursive functions, undecidable sets, foundational issues, NP completeness, numerical analysis, theory of computation, recursive functions, real numbers
23Paul Bell, Igor Potapov The Identity Correspondence Problem and Its Applications. Search on Bibsonomy ISAAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Fernando 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
23Stefan Wehr, Peter Thiemann 0001 On the Decidability of Subtyping with Bounded Existential Types. Search on Bibsonomy APLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Nicolas Ollinger Tiling the Plane with a Fixed Number of Polyominoes. Search on Bibsonomy LATA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Mohamed Faouzi Atig, Tayssir Touili Verifying Parallel Programs with Dynamic Communication Structures. Search on Bibsonomy CIAA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Alberto Bertoni, Christian Choffrut, Beatrice Palano Context-Free Grammars and XML Languages. Search on Bibsonomy Developments in Language Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, James Worrell 0001 Decidability and Complexity Results for Timed Automata via Channel Machines. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Boris Konev, Frank Wolter, Michael Zakharyaschev Temporal Logics over Transitive States. Search on Bibsonomy CADE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Malgorzata Moczurad, Wlodzimierz Moczurad Some Open Problems in Decidability of Brick (Labelled Polyomino) Codes. Search on Bibsonomy COCOON The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Gösta Grahne, Alex Thomo Query containment and rewriting using views for regular path queries under constraints. Search on Bibsonomy PODS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Leonard M. Adleman, Jarkko Kari, Lila Kari, Dustin Reishus On the Decidability of Self-Assembly of Infinite Ribbons. Search on Bibsonomy FOCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Mitsuharu 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
23Parosh Aziz Abdulla, Christel Baier, S. Purushothaman Iyer, Bengt Jonsson 0001 Reasoning about Probabilistic Lossy Channel Systems. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
23Erich Grädel, Martin Otto 0001, Eric Rosen Undecidability Results on Two-Variable Logics. Search on Bibsonomy STACS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
23Tero Harju, Juhani Karhumäki, Daniel Krob Remarks on Generalized Post Correspondence Problem. Search on Bibsonomy STACS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
23Serge Abiteboul, Richard Hull 0001 Data Functions, Datalog and Negation (Extended Abstract). Search on Bibsonomy SIGMOD Conference The full citation details ... 1988 DBLP  DOI  BibTeX  RDF DAPLEX, DATALOG
18Matthew Fox On Formally Undecidable Traits of Intelligent Machines. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
18Ken-etsu Fujita, Aleksy Schubert, Pawel Urzyczyn, Konrad Zdanowski The existential fragment of second-order propositional intuitionistic logic is undecidable. Search on Bibsonomy J. Appl. Non Class. Logics The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
18Juvenal Murwanashyaka Weak essentially undecidable theories of concatenation, part II. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
18Shuo Ding, Qirun Zhang Witnessability of Undecidable Problems. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Maurice Margenstern The Domino Problem of the Hyperbolic Plane Is Undecidable: New Proof. Search on Bibsonomy Complex Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Roland Guttenberg Verification of Population Protocols with Unordered Data is undecidable. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Fabian Mitterwallner, Aart Middeldorp, René Thiemann Linear Termination over N is Undecidable. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann 0002 HyperLTL Satisfiability Is Highly Undecidable, HyperCTL* is Even Harder. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Benjamin Hellouin de Menibus, Victor H. Lutfalla, Camille Noûs The Domino problem is undecidable on every rhombus subshift. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Christopher J. Eagle, Clovis Hamel, Sandra Müller, Franklin D. Tall An undecidable extension of Morley's theorem on the number of countable models. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Rachel Greenfeld, Terence Tao Undecidable Translational Tilings with Only Two Tiles, or One Nonabelian Tile. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Arkadiy Skopenkov Extendability of Simplicial Maps is Undecidable. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Laura Kovács, Anton Varonka What Else is Undecidable About Loops? Search on Bibsonomy RAMiCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Benjamin Hellouin de Menibus, Victor H. Lutfalla, Camille Noûs The Domino Problem Is Undecidable on Every Rhombus Subshift. Search on Bibsonomy DLT The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Jonathan Geller Baba is You is Undecidable. Search on Bibsonomy CoG The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Steve Hanneke, Liu Yang 0001 Bandit Learnability can be Undecidable. Search on Bibsonomy COLT The full citation details ... 2023 DBLP  BibTeX  RDF
18Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2023 DBLP  BibTeX  RDF
18Mnacho Echenim, Radu Iosif, Nicolas Peltier Entailment is Undecidable for Symbolic Heap Separation Logic Formulæ with Non-Established Inductive Rules. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Zlatan Damnjanovic Mutual Interpretability of Weak Essentially Undecidable Theories. Search on Bibsonomy J. Symb. Log. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Nikolaos Galatos, Gavin St. John Most Simple Extensions of FLe are Undecidable. Search on Bibsonomy J. Symb. Log. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Andreas Klingler, Mirte van der Eyden, Sebastian Stengele, Tobias Reinhart, Gemma De las Cuevas Many bounded versions of undecidable problems are NP-hard. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Pedro Filipe, Carlos Caleiro, Sérgio Marcelino Monadicity of Non-deterministic Logical Matrices is Undecidable. Search on Bibsonomy NCL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Maurice Margenstern The domino problem of the hyperbolic plane is undecidable, new proof. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Matthieu Rosenfeld It is undecidable whether the growth rate of a given bilinear system is 1. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
18Jonathan Geller Baba is You is Undecidable. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Lawrence C. Paulson Wetzel: Formalisation of an Undecidable Problem Linked to the Continuum Hypothesis. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Hugo Gimbert Distributed Asynchronous Games With Causal Memory are Undecidable. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Juvenal Murwanashyaka Weak essentially undecidable theories of concatenation. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Amirfarhad Nilizadeh, Gary T. Leavens Be Realistic: Automated Program Repair is a Combination of Undecidable Problems. Search on Bibsonomy APR@ICSE The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Fabian Mitterwallner, Aart Middeldorp Polynomial Termination Over ℕ Is Undecidable. Search on Bibsonomy FSCD The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Lawrence C. Paulson Wetzel: Formalisation of an Undecidable Problem Linked to the Continuum Hypothesis. Search on Bibsonomy CICM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Stepan L. Kuznetsov Action Logic is Undecidable. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
18Hugo Gimbert Distributed Asynchronous Games With Causal Memory are Undecidable. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
18Martin Kolár On formally undecidable propositions in nondeterministic languages. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
18Honghao Fu, Carl A. Miller, William Slofstra The membership problem for constant-sized quantum correlations is undecidable. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
18Benedikt T. Boenninghoff, Robert M. Nickel, Dorothea Kolossa O2D2: Out-Of-Distribution Detector to Capture Undecidable Trials in Authorship Verification. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
18Manuel Bodirsky, Simon Knäuer, Jakub Rydval Amalgamation is Undecidable. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
18Erik Parmann, Thomas Ågotnes Reasoning about strategic voting in modal logic quickly becomes undecidable. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
18M. Clarence Protin Type inhabitation of atomic polymorphism is undecidable. Search on Bibsonomy J. Log. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
18Tobias Fritz Quantum logic is undecidable. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1333 (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