Works matching DE "DECIDABILITY (Mathematical logic)"

Results: 276

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:

Ibarra, Oscar

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:

Cho, Da-Jung;
Han, Yo-Sub;
Kang, Shin-Dong;
Kim, Hwee;
Ko, Sang-Ki;
Salomaa, Kai

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:

Krassovitskiy, Alexander;
Rogozhin, Yurii;
Verlan, Sergey

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:

Patitz, Matthew J.;
Summers, Scott M.

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:

Delzanno, Giorgio;
Begin, Laurent

Publication type:

Article

Soundness of data-aware, case-centric processes.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 5, p. 535, doi. 10.1007/s10009-016-0417-2

By:

Montali, Marco;
Calvanese, Diego

Publication type:

Article

Average-price-per-reward games on hybrid automata with strong resets.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 6, p. 553, doi. 10.1007/s10009-010-0180-8

By:

Rutkowski, Michał;
Lazić, Ranko;
Jurdziński, Marcin

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:

Steinberg, B.

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:

Margenstern, Maurice

Publication type:

Article

Proof Theory of Paraconsistent Quantum Logic.

Published in:

Journal of Philosophical Logic, 2018, v. 47, n. 2, p. 301, doi. 10.1007/s10992-017-9428-z

By:

Kamide, Norihiro

Publication type:

Article

Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment).

Published in:

Journal of Philosophical Logic, 2017, v. 46, n. 3, p. 233, doi. 10.1007/s10992-016-9421-y

By:

Antonelli, Aldo

Publication type:

Article

On A New Semantics for First-Order Predicate Logic.

Published in:

Journal of Philosophical Logic, 2017, v. 46, n. 3, p. 259, doi. 10.1007/s10992-017-9429-y

By:

Andréka, Hajnal;
Benthem, Johan;
Németi, István

Publication type:

Article

Current Trends in Substructural Logics.

Published in:

Journal of Philosophical Logic, 2015, v. 44, n. 6, p. 609, doi. 10.1007/s10992-015-9346-x

By:

Bimbó, Katalin

Publication type:

Article

Decidability of the Equational Theory of the Continuous Geometry $CG(\Bbb {F})$.

Published in:

Journal of Philosophical Logic, 2013, v. 42, n. 3, p. 461, doi. 10.1007/s10992-013-9270-x

By:

Harding, John

Publication type:

Article

Dynamic Topological Logic Interpreted over Minimal Systems.

Published in:

Journal of Philosophical Logic, 2011, v. 40, n. 6, p. 767, doi. 10.1007/s10992-010-9160-4

By:

Fernández-Duque, David

Publication type:

Article

Reasoning About Permitted Announcements.

Published in:

Journal of Philosophical Logic, 2011, v. 40, n. 4, p. 445, doi. 10.1007/s10992-011-9187-1

By:

Balbiani, P.;
Seban, P.

Publication type:

Article

Types of $\mathsf{I}$ -Free Hereditary Right Maximal Terms.

Published in:

Journal of Philosophical Logic, 2005, v. 34, n. 5/6, p. 607, doi. 10.1007/s10992-005-2831-x

By:

Bimbó, Katalin

Publication type:

Article

COMPLETENESS AND DECIDABILITY RESULTS FOR SOME PROPOSITIONAL MODAL LOGICS CONTAINING 'ACTUALLY'...

Published in:

Journal of Philosophical Logic, 2001, v. 30, n. 1, p. 57, doi. 10.1023/A:1017579410231

By:

Gregory, Dominic

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:

Anashin, V.

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:

Leontyeva, M.

Publication type:

Article

Identification and addressing reduction-related misconceptions.

Published in:

Computer Science Education, 2016, v. 26, n. 2/3, p. 89, doi. 10.1080/08993408.2016.1171470

By:

Gal-Ezer, Judith;
Trakhtenbrot, Mark

Publication type:

Article

Hierarchical information and the synthesis of distributed strategies.

Published in:

Acta Informatica, 2018, v. 55, n. 8, p. 669, doi. 10.1007/s00236-017-0306-5

By:

Berwanger, Dietmar;
Mathew, Anup Basil;
van den Bogaard, Marie

Publication type:

Article

Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015).

Published in:

2017

By:

Aceto, Luca;
Frutos Escrig, David

Publication type:

Editorial

Accepting splicing systems with permitting and forbidding words.

Published in:

Acta Informatica, 2013, v. 50, n. 1, p. 1, doi. 10.1007/s00236-012-0169-8

By:

Arroyo, Fernando;
Castellanos, Juan;
Dassow, Jürgen;
Mitrana, Victor;
Sánchez-Couso, José-Ramón

Publication type:

Article

Multi-letter quantum finite automata: decidability of the equivalence and minimization of states.

Published in:

Acta Informatica, 2011, v. 48, n. 5/6, p. 271, doi. 10.1007/s00236-011-0139-6

By:

Qiu, Daowen;
Li, Lvzhou;
Zou, Xiangfu;
Mateus, Paulo;
Gruska, Jozef

Publication type:

Article

On bonded sequential and parallel insertion systems.

Published in:

RAIRO - Theoretical Informatics & Applications, 2018, v. 52, n. 2-4, p. 127, doi. 10.1051/ita/2018010

By:

Bordihn, Henning;
Nagy, Benedek;
Vaszil, György;
Holzer, Markus;
Truthe, Bianca;
Firdaus Yosman, Ahmad

Publication type:

Article

Regular and linear permutation languages.

Published in:

RAIRO - Theoretical Informatics & Applications, 2018, v. 52, n. 2-4, p. 219, doi. 10.1051/ita/2018016

By:

Bordihn, Henning;
Nagy, Benedek;
Vaszil, György;
Madejski, Grzegorz

Publication type:

Article

THE FINITENESS PROBLEM FOR MONOIDS OF MORPHISMS.

Published in:

RAIRO - Theoretical Informatics & Applications, 2015, v. 49, n. 1, p. 61, doi. 10.1051/ita/2014028

By:

HONKALA, JUHA

Publication type:

Article

k-counting automata.

Published in:

RAIRO - Theoretical Informatics & Applications, 2012, v. 46, n. 4, p. 461, doi. 10.1051/ita/2012021

By:

Allred, Joël;
Ultes-Nitsche, Ulrich

Publication type:

Article

String Assembling Systems.

Published in:

RAIRO - Theoretical Informatics & Applications, 2012, v. 46, n. 4, p. 593, doi. 10.1051/ita/2012020

By:

Kutrib, Martin;
Wendlandt, Matthias

Publication type:

Article

Regularity of languages defined by formal series with isolated cut point.

Published in:

RAIRO - Theoretical Informatics & Applications, 2012, v. 46, n. 4, p. 479, doi. 10.1051/ita/2012019

By:

Bertoni, Alberto;
Bianchi, Maria Paola;
D’Alessandro, Flavi

Publication type:

Article

Affine Parikh automata.

Published in:

RAIRO - Theoretical Informatics & Applications, 2012, v. 46, n. 4, p. 511, doi. 10.1051/ita/2012013

By:

Cadilhac, Michaël;
Finkel, Alain;
McKenzie, Pierre

Publication type:

Article

Undecidability of infinite post correspondence problem for instances of size 8.

Published in:

RAIRO - Theoretical Informatics & Applications, 2012, v. 46, n. 3, p. 451, doi. 10.1051/ita/2012015

By:

Dong, Jing;
Liu, Qinghui

Publication type:

Article

On the decidability of semigroup freeness.

Published in:

RAIRO - Theoretical Informatics & Applications, 2012, v. 46, n. 3, p. 355, doi. 10.1051/ita/2012010

By:

Cassaigne, Julien;
Nicolas, Francois

Publication type:

Article

HIGHLY UNDECIDABLE PROBLEMS FOR INFINITE COMPUTATIONS.

Published in:

RAIRO - Theoretical Informatics & Applications, 2009, v. 43, n. 2, p. 339, doi. 10.1051/ita/2009001

By:

Finkel, Olivier

Publication type:

Article

On the conjugacy problem in the group F/ N ∩ N.

Published in:

Mathematical Notes, 2013, v. 93, n. 5/6, p. 837, doi. 10.1134/S0001434613050234

By:

Kulikova, O.

Publication type:

Article

Convex maximization and Schachermayer property α.

Published in:

Cybernetics & Systems Analysis, 2009, v. 45, n. 2, p. 309, doi. 10.1007/s10559-009-9098-0

By:

Semenov, V.

Publication type:

Article

Rejoinder to George.

Published in:

Mind (0026-4423), 1988, v. 97, n. 385, p. 110, doi. 10.1093/mind/XCVII.385.110

By:

WEIR, ALAN

Publication type:

Article

First-order Nilpotent minimum logics: first steps.

Published in:

Archive for Mathematical Logic, 2013, v. 52, n. 3/4, p. 295, doi. 10.1007/s00153-012-0317-4

By:

Bianchi, Matteo

Publication type:

Article

Relatively computably enumerable reals.

Published in:

Archive for Mathematical Logic, 2011, v. 50, n. 3/4, p. 361, doi. 10.1007/s00153-010-0219-2

By:

Anderson, Bernard

Publication type:

Article

The Hausdorff-Ershov Hierarchy in Euclidean Spaces.

Published in:

Archive for Mathematical Logic, 2006, v. 45, n. 3, p. 323, doi. 10.1007/s00153-005-0317-8

By:

Hemmerling, Armin

Publication type:

Article

Isolation in the CEA hierarchy.

Published in:

Archive for Mathematical Logic, 2005, v. 44, n. 2, p. 227, doi. 10.1007/s00153-004-0250-2

By:

LaForte, Geoffrey

Publication type:

Article

Undecidability results on two-variable logics.

Published in:

Archive for Mathematical Logic, 1999, v. 38, n. 4, p. 313

By:

Grädel, Erich;
Otto, Martin;
Rosen, Eric

Publication type:

Article

Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals.

Published in:

Archive for Mathematical Logic, 1996, v. 36, n. 1, p. 31, doi. 10.1007/s001530050055

By:

Kohlenbach, Ulrich

Publication type:

Article

Decidable temporal and sequential relevant logics.

Published in:

Journal of Logic & Computation, 2018, v. 28, n. 2, p. 403, doi. 10.1093/logcom/exx041

By:

NORIHIRO KAMIDE

Publication type:

Article

Non-transitive linear temporal logic andb logical knowledge operations.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 3, p. 945, doi. 10.1093/logcom/exv016

By:

RYBAKOV, VLADIMIR V.

Publication type:

Article

Completeness and decidability results for a logic of contrary-to-duty conditionals.

Published in:

Journal of Logic & Computation, 2013, v. 23, n. 3, p. 585, doi. 10.1093/logcom/exs009

By:

Carmo, José M. C. L. M.;
Jones, Andrew J. I.

Publication type:

Article

Generalized constraint diagrams and the classical decision problem.

Published in:

Journal of Logic & Computation, 2013, v. 23, n. 1, p. 199, doi. 10.1093/logcom/exs004

By:

Burton, Jim;
Stapleton, Gem;
Howse, John

Publication type:

Article

Embedding-based approaches to paraconsistent and temporal description logics*.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 5, p. 1097, doi. 10.1093/logcom/exr016

By:

Kamide, Norihiro

Publication type:

Article

Monodic temporal logic with quantified propositional variables.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 3, p. 517, doi. 10.1093/logcom/exr004

By:

Hussak, Walter

Publication type:

Article