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

Further Generalizations of Results on Structures of Continuous Functions.

Published in:

Journal of Mathematical Sciences, 2016, v. 215, n. 4, p. 421, doi. 10.1007/s10958-016-2848-4

By:

Amstislavskiy, V.

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

CONCEPTUALISMO REALISTA Y COMPUTABILIDAD.

Published in:

Crítica, 2005, v. 37, n. 111, p. 3, doi. 10.22201/iifs.18704905e.2005.459

By:

Freund, Max A.

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

Reachability results for timed automata with unbounded data structures.

Published in:

Acta Informatica, 2010, v. 47, n. 5/6, p. 279, doi. 10.1007/s00236-010-0121-8

By:

Lanotte, Ruggero;
Maggiolo-Schettini, Andrea;
Troina, Angelo

Publication type:

Article

On decidability of LTL model checking for process rewrite systems.

Published in:

Acta Informatica, 2009, v. 46, n. 1, p. 1, doi. 10.1007/s00236-008-0082-3

By:

Bozzelli, Laura;
Křetínský, Mojmír;
Řehák, Vojtěch;
Strejček, Jan

Publication type:

Article

Improved matrix pair undecidability results.

Published in:

Acta Informatica, 2007, v. 44, n. 3/4, p. 191, doi. 10.1007/s00236-007-0047-y

By:

Halava, Vesa;
Hirvensalo, Mika

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:

Kliman, Andrew;
Freeman, Alan

Publication type:

Article

DECIDABILITY OF INDEPENDENCE-FRIENDLY MODAL LOGIC MERLIJN SEVENSTER.

Published in:

Review of Symbolic Logic, 2010, v. 3, n. 3, p. 415, doi. 10.1017/S1755020310000146

By:

Sevenster, Merlijn

Publication type:

Article

Operational State Complexity and Decidability of Jumping Finite Automata.

Published in:

International Journal of Foundations of Computer Science, 2019, v. 30, n. 1, p. 5, doi. 10.1142/S012905411940001X

By:

Beier, Simon;
Holzer, Markus;
Kutrib, Martin

Publication type:

Article

Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change.

Published in:

International Journal of Foundations of Computer Science, 2018, v. 29, n. 2, p. 213, doi. 10.1142/S012905411840004X

By:

Czyba, Christopher;
Thomas, Wolfgang;
Spinrath, Christopher

Publication type:

Article

Decision Algorithms for Fibonacci-Automatic Words, III: Enumeration and Abelian Properties.

Published in:

International Journal of Foundations of Computer Science, 2016, v. 27, n. 8, p. 943, doi. 10.1142/S0129054116500386

By:

Du, Chen Fei;
Mousavi, Hamoon;
Schaeffer, Luke;
Shallit, Jeffrey

Publication type:

Article

AUTHOR INDEX: VOLUME 25 (2014).

Published in:: International Journal of Foundations of Computer Science, 2014, v. 25, n. 8, p. 1177, doi. 10.1142/S0129054114990019
Publication type:: Article

Automatic Sets of Rational Numbers.

Published in:

International Journal of Foundations of Computer Science, 2015, v. 26, n. 3, p. 343, doi. 10.1142/S0129054115500197

By:

Rowland, Eric;
Shallit, Jeffrey

Publication type:

Article

ON THE DECIDABILITY OF THE INTERSECTION PROBLEM FOR QUANTUM AUTOMATA AND CONTEXT-FREE LANGUAGES.

Published in:

International Journal of Foundations of Computer Science, 2014, v. 25, n. 8, p. 1065, doi. 10.1142/S0129054114400243

By:

BERTONI, ALBERTO;
CHOFFRUT, CHRISTIAN;
D'ALESSANDRO, FLAVIO

Publication type:

Article

SOME DECISION QUESTIONS CONCERNING THE TIME COMPLEXITY OF LANGUAGE ACCEPTORS.

Published in:

International Journal of Foundations of Computer Science, 2014, v. 25, n. 8, p. 1127, doi. 10.1142/S0129054114400280

By:

IBARRA, OSCAR H.;
RAVIKUMAR, BALA

Publication type:

Article

STATELESS ONE-WAY MULTI-HEAD FINITE AUTOMATA WITH PEBBLES.

Published in:

International Journal of Foundations of Computer Science, 2014, v. 25, n. 8, p. 1141, doi. 10.1142/S0129054114400292

By:

KUTRIB, MARTIN;
MALCHER, ANDREAS;
WENDLANDT, MATTHIAS

Publication type:

Article

PREFIX PICTURE CODES: A DECIDABLE CLASS OF TWO-DIMENSIONAL CODES.

Published in:

International Journal of Foundations of Computer Science, 2014, v. 25, n. 8, p. 1017, doi. 10.1142/S0129054114400218

By:

ANSELMO, MARCELLA;
GIAMMARRESI, DORA;
MADONIA, MARIA

Publication type:

Article

A NOTE ON THE DECIDABILITY SUBWORD INEQUALITIES.

Published in:

International Journal of Foundations of Computer Science, 2013, v. 24, n. 4, p. 445, doi. 10.1142/S0129054113500135

By:

FAZEKAS, SZILÁRD ZSOLT;
MERCAŞ, ROBERT

Publication type:

Article

DECIDABILITY OF UNIFORM RECURRENCE OF MORPHIC SEQUENCES.

Published in:

International Journal of Foundations of Computer Science, 2013, v. 24, n. 1, p. 123, doi. 10.1142/S0129054113500032

By:

DURAND, FABIEN

Publication type:

Article

EQUALITY SETS OF MORPHIC WORD SEQUENCES.

Published in:

International Journal of Foundations of Computer Science, 2012, v. 23, n. 8, p. 1749, doi. 10.1142/S0129054112500268

By:

HONKALA, JUHA

Publication type:

Article

THREE APPLICATIONS TO RATIONAL RELATIONS OF THE HIGH UNDECIDABILITY OF THE INFINITE POST CORRESPONDENCE PROBLEM IN A REGULAR ω-LANGUAGE.

Published in:

International Journal of Foundations of Computer Science, 2012, v. 23, n. 7, p. 1481, doi. 10.1142/S0129054112400606

By:

FINKEL, OLIVIER

Publication type:

Article

DECIDABILITY AND UNIVERSALITY IN THE AXIOMATIC THEORY OF COMPUTABILITY AND ALGORITHMS.

Published in:

International Journal of Foundations of Computer Science, 2012, v. 23, n. 7, p. 1465, doi. 10.1142/S012905411240059X

By:

BURGIN, MARK

Publication type:

Article

JUMPING FINITE AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2012, v. 23, n. 7, p. 1555, doi. 10.1142/S0129054112500244

By:

MEDUNA, ALEXANDER;
ZEMEK, PETR

Publication type:

Article

AROUND DOT-DEPTH ONE.

Published in:

International Journal of Foundations of Computer Science, 2012, v. 23, n. 6, p. 1323, doi. 10.1142/S0129054112400552

By:

KUFLEITNER, MANFRED;
LAUSER, ALEXANDER

Publication type:

Article

FORMAL DESCRIPTIONS OF CODE PROPERTIES:: DECIDABILITY, COMPLEXITY, IMPLEMENTATION.

Published in:

International Journal of Foundations of Computer Science, 2012, v. 23, n. 1, p. 67, doi. 10.1142/S0129054112400059

By:

DUDZINSKI, KRYSTIAN;
KONSTANTINIDIS, STAVROS;
Pighizzini, Giovanni

Publication type:

Article

PREFACE.

Published in:

International Journal of Foundations of Computer Science, 2010, v. 21, n. 4, p. 477, doi. 10.1142/S0129054110007374

By:

Ito, Masami

Publication type:

Article

CONTINUOUS PETRI NETS:: EXPRESSIVE POWER AND DECIDABILITY ISSUES.

Published in:

International Journal of Foundations of Computer Science, 2010, v. 21, n. 2, p. 235, doi. 10.1142/S0129054110007222

By:

RECALDE, LAURA;
HADDAD, SERGE;
SILVA, MANUEL

Publication type:

Article

ON UNIFORMLY RECURRENT MORPHIC SEQUENCES.

Published in:

International Journal of Foundations of Computer Science, 2009, v. 20, n. 5, p. 919, doi. 10.1142/S0129054109006966

By:

NICOLAS, FRANCOIS;
PRITYKIN, YURI

Publication type:

Article

ON STATELESS AUTOMATA AND P SYSTEMS.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 5, p. 1259, doi. 10.1142/S0129054108006261

By:

LINMIN YANG;
ZHE DANG;
IBARRA, OSCAR H.

Publication type:

Article

DECIDABILITY AND COMPLEXITY ANALYSIS OF FORBIDDEN STATE PROBLEMS FOR DISCRETE EVENT SYSTEMS.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 999, doi. 10.1142/S0129054108006091

By:

Yen, Hsu-Chun

Publication type:

Article

EQUIVALENCE OF LABELED MARKOV CHAINS.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 3, p. 549, doi. 10.1142/S0129054108005814

By:

DOYEN, LAURENT;
HENZINGER, THOMAS A.;
RASKIN, JEAN-FRANÇOIS

Publication type:

Article

DECISION PROBLEMS ON PATH-CONTROLLED GRAMMARS.

Published in:

International Journal of Foundations of Computer Science, 2007, v. 18, n. 6, p. 1323, doi. 10.1142/S0129054107005364

By:

MARTIN-VIDE, CARLOS;
MITRANA, VICTOR;
Stiebe, R.

Publication type:

Article

FURTHER RESULTS ON TIME-FREE P SYSTEMS.

Published in:

International Journal of Foundations of Computer Science, 2006, v. 17, n. 1, p. 69, doi. 10.1142/S012905410600370X

By:

Cavaliere, Matteo;
Deufemia, Vincenzo

Publication type:

Article

Remarks Concerning the D0L ω-Equivalence Problem.

Published in:

International Journal of Foundations of Computer Science, 2002, v. 13, n. 5, p. 769, doi. 10.1142/S0129054102001448

By:

Honkala, Juha

Publication type:

Article

Decidable quasivarieties of p‐algebras.

Published in:

Mathematical Logic Quarterly, 2025, v. 71, n. 1, p. 1, doi. 10.1002/malq.202300064

By:

Kowalski, Tomasz;
Słomczyńska, Katarzyna

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:

Holmes, M. Randall

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:

Kozak, Michał

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:

Case, John;
Jain, Sanjay

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:

Ardeshir, Mohammad;
Ramezanian, Rasoul

Publication type:

Article

Bisimulations between generalized Veltman models and Veltman models.

Published in:

Mathematical Logic Quarterly, 2008, v. 54, n. 4, p. 368, doi. 10.1002/malq.200710050

By:

Vukovic, Mladen

Publication type:

Article

A note on the decidability of exponential terms.

Published in:

Mathematical Logic Quarterly, 2007, v. 53, n. 3, p. 306, doi. 10.1002/malq.200610047

By:

D'Aquino, Paola;
Terzo, Giuseppina

Publication type:

Article