Works matching DE "DECIDABILITY (Mathematical logic)"
Results: 273
TWO-DIMENSIONAL RANK-REDUCING GRAMMARS AND THEIR COMPLEXITY.
- Published in:
- Journal of Automata, Languages & Combinatorics, 2023, v. 28, n. 1-3, p. 143
- By:
- Publication type:
- Article
Conservative Extensions in Horn Description Logics with Inverse Roles.
- Published in:
- Journal of Artificial Intelligence Research, 2020, v. 68, p. 365, doi. 10.1613/jair.1.12182
- By:
- Publication type:
- Article
Musil's Ontology of the Present: Lessons on the Hermeneutics of Modernity.
- Published in:
- Modernism/Modernity, 2017, v. 24, n. 2, p. 311, doi. 10.1353/mod.2017.0023
- By:
- Publication type:
- Article
Decidability of the Extension Problem for Maps into Odd-Dimensional Spheres.
- Published in:
- Discrete & Computational Geometry, 2017, v. 57, n. 1, p. 1, doi. 10.1007/s00454-016-9835-x
- By:
- Publication type:
- Article
Computational classification of cellular automata.
- Published in:
- International Journal of General Systems, 2012, v. 41, n. 6, p. 595, doi. 10.1080/03081079.2012.695899
- By:
- Publication type:
- Article
Decidability and undecidability in cellular automata.
- Published in:
- International Journal of General Systems, 2012, v. 41, n. 6, p. 539, doi. 10.1080/03081079.2012.695895
- By:
- Publication type:
- Article
Smooth finitely computable functions are affine, or why quantum systems cause waves.
- Published in:
- Doklady Mathematics, 2015, v. 92, n. 3, p. 655, doi. 10.1134/S1064562415060022
- By:
- Publication type:
- Article
The existence of strongly computable representations in the class of Boolean algebras.
- Published in:
- Doklady Mathematics, 2012, v. 86, n. 1, p. 469, doi. 10.1134/S1064562412040084
- By:
- Publication type:
- Article
A criterion for the decidability of the A-completeness problem for definite automata.
- Published in:
- Doklady Mathematics, 2011, v. 84, n. 1, p. 447, doi. 10.1134/S1064562411040065
- By:
- Publication type:
- Article
Paraconsistency in classical logic.
- Published in:
- Synthese, 2018, v. 195, n. 12, p. 5485, doi. 10.1007/s11229-017-1458-0
- By:
- Publication type:
- Article
Information dynamics and uniform substitution.
- Published in:
- Synthese, 2013, v. 190, p. 31, doi. 10.1007/s11229-013-0278-0
- By:
- Publication type:
- Article
Type Logics and Pregroups.
- Published in:
- Studia Logica, 2007, v. 87, n. 2/3, p. 145, doi. 10.1007/s11225-007-9083-4
- Publication type:
- Article
On Algorithmic Problems for Joins of Pseudovarieties.
- Published in:
- Semigroup Forum, 2001, v. 62, n. 1, p. 1, doi. 10.1007/PL00020979
- By:
- Publication type:
- Article
On the Optimal Number of Instructions for Universal Turing Machines Connected with a Finite Automaton.
- Published in:
- International Journal of Algebra & Computation, 2003, v. 13, n. 2, p. 133, doi. 10.1142/S0218196703001262
- By:
- Publication type:
- Article
On the Hyperdecidability of Pseudovarieties of Groups.
- Published in:
- International Journal of Algebra & Computation, 2001, v. 11, n. 6, p. 753, doi. 10.1142/S0218196701000802
- By:
- Publication type:
- Article
On Hyperdecidable Pseudovarieties of Simple Semigroups.
- Published in:
- International Journal of Algebra & Computation, 2000, v. 10, n. 2, p. 261, doi. 10.1142/S0218196700000091
- By:
- Publication type:
- Article
Strong negation in intuitionistic style sequent systems for residuated lattices.
- Published in:
- Mathematical Logic Quarterly, 2014, v. 60, n. 4/5, p. 319, doi. 10.1002/malq.201300016
- By:
- Publication type:
- Article
On hereditarily small sets in ZF.
- Published in:
- Mathematical Logic Quarterly, 2014, v. 60, n. 3, p. 228, doi. 10.1002/malq.201300089
- By:
- Publication type:
- Article
Rice and Rice-Shapiro Theorems for transfinite correction grammars.
- Published in:
- Mathematical Logic Quarterly, 2011, v. 57, n. 5, p. 504, doi. 10.1002/malq.201020054
- By:
- Publication type:
- Article
Decidability and Specker sequences in intuitionistic mathematics.
- Published in:
- Mathematical Logic Quarterly, 2009, v. 55, n. 6, p. 637, doi. 10.1002/malq.200710094
- By:
- Publication type:
- Article
TAIL ASYMPTOTICS FOR A RANDOM SIGN LINDLEY RECURSION.
- Published in:
- Journal of Applied Probability, 2010, v. 47, n. 1, p. 72, doi. 10.1239/jap/1269610817
- By:
- Publication type:
- Article
On decidability and closure properties of language classes with respect to bio-operations.
- Published in:
- Natural Computing, 2016, v. 15, n. 2, p. 225, doi. 10.1007/s11047-015-9500-y
- By:
- Publication type:
- Article
Pseudo-inversion: closure properties and decidability.
- Published in:
- Natural Computing, 2016, v. 15, n. 1, p. 31, doi. 10.1007/s11047-015-9502-9
- By:
- Publication type:
- Article
Computational power of insertion-deletion (P) systems with rules of size two.
- Published in:
- Natural Computing, 2011, v. 10, n. 2, p. 835, doi. 10.1007/s11047-010-9208-y
- By:
- Publication type:
- Article
Self-assembly of decidable sets.
- Published in:
- Natural Computing, 2011, v. 10, n. 2, p. 853, doi. 10.1007/s11047-010-9218-9
- By:
- Publication type:
- Article
On the verification of membrane systems with dynamic structure.
- Published in:
- Natural Computing, 2010, v. 9, n. 4, p. 795, doi. 10.1007/s11047-010-9214-0
- By:
- Publication type:
- Article
Logics for Epistemic Actions: Completeness, Decidability, Expressivity †.
- Published in:
- Logics, 2023, v. 1, n. 2, p. 97, doi. 10.3390/logics1020006
- By:
- Publication type:
- Article
A Decidability Result for the Halting of Cellular Automata on the Pentagrid.
- Published in:
- Complex Systems, 2019, v. 28, n. 2, p. 175, doi. 10.25088/ComplexSystems.28.2.175
- By:
- Publication type:
- Article
Removing dead transitions in timed-arc Petri nets.
- Published in:
- Mathematical & Computer Modelling of Dynamical Systems, 2009, v. 15, n. 1, p. 69, doi. 10.1080/13873950802416332
- By:
- Publication type:
- Article
FINITELY INSEPARABLE FIRST-ORDER AXIOMATIZED MEREOTOPOLOGICAL THEORIES.
- Published in:
- Logic & Logical Philosophy, 2013, v. 22, n. 3, p. 347, doi. 10.12775/LLP.2013.016
- By:
- Publication type:
- Article
MORE ON THE DECIDABILITY OF MEREOLOGICAL THEORIES.
- Published in:
- Logic & Logical Philosophy, 2011, v. 20, n. 3, p. 251
- By:
- Publication type:
- Article
TEMPORAL NON-COMMUTATIVE LOGIC: Expressing time, resource, order and hierarchy.
- Published in:
- Logic & Logical Philosophy, 2009, v. 18, n. 2, p. 97, doi. 10.12775/LLP.2009.007
- By:
- Publication type:
- Article
DECIDABILITY OF MEREOLOGICAL THEORIES.
- Published in:
- Logic & Logical Philosophy, 2009, v. 18, n. 1, p. 45, doi. 10.12775/LLP.2009.004
- By:
- Publication type:
- Article
What is Absolute Undecidability?† What is Absolute Undecidability?
- Published in:
- Nous, 2013, v. 47, n. 3, p. 467, doi. 10.1111/j.1468-0068.2012.00861.x
- By:
- Publication type:
- Article
Replicating Marx: A reply to Mohun.
- Published in:
- Capital & Class, 2006, v. 30, n. 1, p. 127, doi. 10.1177/030981680608800106
- By:
- Publication type:
- Article
The Application of Decidability Theory to Identify Similar Computer Networks.
- Published in:
- IUP Journal of Computational Mathematics, 2011, v. 4, n. 2, p. 26
- By:
- Publication type:
- Article
PROVING THE DECIDABILITY OF THE PDLxPDL PRODUCT LOGIC.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2009, n. 1, p. 3
- By:
- Publication type:
- Article
LABELED SEQUENT CALCULUS FOR ORTHOLOGIC.
- Published in:
- Bulletin of the Section of Logic, 2018, v. 47, n. 4, p. 217, doi. 10.18778/0138-0680.47.4.01
- By:
- Publication type:
- Article
Discreteness is undecidable.
- Published in:
- International Journal of Algebra & Computation, 2016, v. 26, n. 3, p. 467, doi. 10.1142/S0218196716500193
- By:
- Publication type:
- Article
Deciding conjugacy in sylvester monoids and other homogeneous monoids.
- Published in:
- International Journal of Algebra & Computation, 2015, v. 25, n. 5, p. 899, doi. 10.1142/S0218196715500241
- By:
- Publication type:
- Article
THE SUBGROUP IDENTIFICATION PROBLEM FOR FINITELY PRESENTED GROUPS.
- Published in:
- International Journal of Algebra & Computation, 2013, v. 23, n. 3, p. 673, doi. 10.1142/S021819671350015X
- By:
- Publication type:
- Article
FINITE IDEMPOTENT INVERSE MONOID PRESENTATIONS.
- Published in:
- International Journal of Algebra & Computation, 2011, v. 21, n. 7, p. 1111, doi. 10.1142/S0218196711006868
- By:
- Publication type:
- Article
ON THE DECIDABILITY OF MEMBERSHIP IN THE GLOBAL OF A MONOID PSEUDOVARIETY.
- Published in:
- International Journal of Algebra & Computation, 2010, v. 20, n. 2, p. 181, doi. 10.1142/S0218196710005571
- By:
- Publication type:
- Article
A DECISION PROBLEM FOR ULTIMATELY PERIODIC SETS IN NONSTANDARD NUMERATION SYSTEMS.
- Published in:
- International Journal of Algebra & Computation, 2009, v. 19, n. 6, p. 809, doi. 10.1142/S0218196709005330
- By:
- Publication type:
- Article
ALGORITHMIC PROBLEMS ON INVERSE MONOIDS OVER VIRTUALLY FREE GROUPS.
- Published in:
- International Journal of Algebra & Computation, 2008, v. 18, n. 1, p. 181, doi. 10.1142/S0218196708004366
- By:
- Publication type:
- Article
LOGICAL ASPECTS OF CAYLEY-GRAPHS:: THE MONOID CASE.
- Published in:
- International Journal of Algebra & Computation, 2006, v. 16, n. 2, p. 307, doi. 10.1142/S0218196706003001
- By:
- Publication type:
- Article
A Note on Decidability of Cellularity.
- Published in:
- Journal of Cellular Automata, 2012, v. 7, n. 5/6, p. 509
- By:
- Publication type:
- Article
The Evolution of Finite 1-Dimensional Cellular Automata Updated with k-Rules.
- Published in:
- Journal of Cellular Automata, 2011, v. 6, n. 6, p. 505
- By:
- Publication type:
- Article
Complex Dynamics Behaviors in Cellular Automata Rule 35.
- Published in:
- Journal of Cellular Automata, 2011, v. 6, n. 6, p. 487
- By:
- Publication type:
- Article
Cellular Automata on a G-Set.
- Published in:
- Journal of Cellular Automata, 2011, v. 6, n. 6, p. 461
- By:
- Publication type:
- Article