Works matching DE "KLEENE algebra"
Results: 39
A FAMILY OF FINITE DE MORGAN AND KLEENE ALGEBRAS.
- Published in:
- International Journal of Uncertainty, Fuzziness & Knowledge-Based Systems, 2012, v. 20, n. 5, p. 631, doi. 10.1142/S0218488512500298
- By:
- Publication type:
- Article
TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 967, doi. 10.1017/jsl.2018.34
- By:
- Publication type:
- Article
KLEENE CLOSURE AND STATE COMPLEXITY.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2016, v. 50, n. 3, p. 251, doi. 10.1051/ita/2016024
- By:
- Publication type:
- Article
KLEENE POSETS AND PSEUDO-KLEENE POSETS.
- Published in:
- Miskolc Mathematical Notes, 2022, v. 23, n. 1, p. 155, doi. 10.18514/MMN.2022.3475
- By:
- Publication type:
- Article
Satisfying Predicates: Kleene's Proof of the Hilbert–Bernays Theorem.
- Published in:
- History & Philosophy of Logic, 2015, v. 36, n. 4, p. 346, doi. 10.1080/01445340.2015.1028146
- By:
- Publication type:
- Article
Interpolation in propositional Horn logic.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 6, p. 1189, doi. 10.1093/logcom/exx042
- By:
- Publication type:
- Article
Nodal filters in hoop algebras.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2018, v. 22, n. 21, p. 7119, doi. 10.1007/s00500-017-2986-8
- By:
- Publication type:
- Article
Semisimple varieties of implication zroupoids.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2016, v. 20, n. 8, p. 3139, doi. 10.1007/s00500-015-1950-8
- By:
- Publication type:
- Article
Brouwer's Fan Theorem as an axiom and as a contrast to Kleene's alternative.
- Published in:
- Archive for Mathematical Logic, 2014, v. 53, n. 5/6, p. 621, doi. 10.1007/s00153-014-0384-9
- By:
- Publication type:
- Article
Position Automata for Kleene Algebra with Tests.
- Published in:
- Scientific Annals of Computer Science, 2012, v. 22, n. 2, p. 367, doi. 10.7561/SACS.2012.2.367
- By:
- Publication type:
- Article
Generalized Fuzzy h-Ideals of Hemirings.
- Published in:
- Bulletin of the Malaysian Mathematical Sciences Society, 2011, v. 34, n. 3, p. 561
- By:
- Publication type:
- Article
Partial inductive * -semirings.
- Published in:
- Basic Sciences Journal of Textile Universities / Fangzhi Gaoxiao Jichu Kexue Xuebao, 2009, v. 22, n. 4, p. 520
- By:
- Publication type:
- Article
In Domain Realizability, not all Functionals on C[-1, 1] are Continuous.
- Published in:
- Mathematical Logic Quarterly, 2002, v. 48, p. 41, doi. 10.1002/1521-3870(200210)48:1+<41::AID-MALQ41>3.0.CO;2-V
- By:
- Publication type:
- Article
Non-Complementedness and Non-Distributivity of Kleene Degrees.
- Published in:
- Mathematical Logic Quarterly, 1997, v. 43, n. 3, p. 378, doi. 10.1002/malq.19970430310
- By:
- Publication type:
- Article
Recursion in Partial Type-1 Objects With Well-Behaved Oracles.
- Published in:
- Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 449, doi. 10.1002/malq.19960420137
- By:
- Publication type:
- Article
The Isolated D. R. E. Degrees are Dense in the R. E. Degrees.
- Published in:
- Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 83, doi. 10.1002/malq.19960420108
- By:
- Publication type:
- Article
Local Density of Kleene Degrees.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 2, p. 183, doi. 10.1002/malq.19950410205
- By:
- Publication type:
- Article
Decidability, Recursive Enumerability and Kleene Hierarchy For L-Subsets.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 1, p. 49, doi. 10.1002/malq.19890350107
- By:
- Publication type:
- Article
AUTOMATED PROOF-SEARCHING FOR STRONG KLEENE LOGIC AND ITS BINARY EXTENSIONS VIA CORRESPONDENCE ANALYSIS.
- Published in:
- Logic & Logical Philosophy, 2019, v. 28, n. 2, p. 223, doi. 10.12775/LLP.2018.009
- By:
- Publication type:
- Article
NATURAL DEDUCTION FOR THREE-VALUED REGULAR LOGICS.
- Published in:
- Logic & Logical Philosophy, 2017, v. 26, n. 2, p. 197, doi. 10.12775/LLP.2016.025
- By:
- Publication type:
- Article
REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS.
- Published in:
- Journal of the Australian Mathematical Society, 2018, v. 105, n. 1, p. 57, doi. 10.1017/S1446788717000283
- By:
- Publication type:
- Article
On hyperarithmetical realizability.
- Published in:
- Mathematical Notes, 2015, v. 98, n. 5/6, p. 778, doi. 10.1134/S0001434615110073
- By:
- Publication type:
- Article
A LATTICE OF IMPLICATIVE EXTENSIONS OF REGULAR KLEENE'S LOGICS.
- Published in:
- Reports on Mathematical Logic, 2012, n. 47, p. 173, doi. 10.4467/20842589RM.12.008.0689
- By:
- Publication type:
- Article
Some lattice-ordered algebras on which all congruences are principal.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 3, p. 314, doi. 10.1093/jigpal/jzy050
- By:
- Publication type:
- Article
First Steps Toward Fuzzy Number-valued Propositional Logic.
- Published in:
- Journal of Multiple-Valued Logic & Soft Computing, 2017, v. 29, n. 5, p. 397
- By:
- Publication type:
- Article
Supervaluation-Style Truth Without Supervaluations.
- Published in:
- Journal of Philosophical Logic, 2018, v. 47, n. 5, p. 817, doi. 10.1007/s10992-017-9451-0
- By:
- Publication type:
- Article
Alternative Ways for Truth to Behave When There's no Vicious Reference.
- Published in:
- Journal of Philosophical Logic, 2014, v. 43, n. 4, p. 665, doi. 10.1007/s10992-013-9285-3
- By:
- Publication type:
- Article
Hoare Semigroups.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 6, p. 775, doi. 10.1017/S096012951700007X
- By:
- Publication type:
- Article
Relational analysis of (co)inductive predicates, (co)algebraic datatypes, and (co)recursive functions.
- Published in:
- Software Quality Journal, 2013, v. 21, n. 1, p. 101, doi. 10.1007/s11219-011-9148-5
- By:
- Publication type:
- Article
OPERATIONAL CHARACTERIZATION OF SCATTERED MCFLs.
- Published in:
- International Journal of Foundations of Computer Science, 2014, v. 25, n. 8, p. 1001, doi. 10.1142/S0129054114400206
- By:
- Publication type:
- Article
CLOSURES IN FORMAL LANGUAGES AND KURATOWSKI'S THEOREM.
- Published in:
- International Journal of Foundations of Computer Science, 2011, v. 22, n. 2, p. 301, doi. 10.1142/S0129054111008052
- By:
- Publication type:
- Article
POWERS OF REGULAR LANGUAGES.
- Published in:
- International Journal of Foundations of Computer Science, 2011, v. 22, n. 2, p. 323, doi. 10.1142/S0129054111008064
- By:
- Publication type:
- Article
A KLEENE THEOREM FOR BISEMIGROUP AND BINOID LANGUAGES.
- Published in:
- International Journal of Foundations of Computer Science, 2011, v. 22, n. 2, p. 427, doi. 10.1142/S012905411100812X
- By:
- Publication type:
- Article
Boolean Coherent Ockham Algebras.
- Published in:
- Southeast Asian Bulletin of Mathematics, 2013, v. 37, n. 1, p. 37
- By:
- Publication type:
- Article
Natural and restricted Priestley duality for ternary algebras and their cousins.
- Published in:
- Categories & General Algebraic Structures with Applications, 2022, v. 16, n. 1, p. 59, doi. 10.52547/cgasa.16.1.59
- By:
- Publication type:
- Article
Qualitative versus quantitative fixed point techniques in computer science.
- Published in:
- QM - Quaestiones Mathematicae, 2018, v. 41, n. 1, p. 115, doi. 10.2989/16073606.2017.1373712
- By:
- Publication type:
- Article
Comments on Arithmetic Complexity, Kleene Closure, and Formal Power Series.
- Published in:
- 2013
- By:
- Publication type:
- Editorial
TWO-VALUED WEAK KLEENE LOGICS.
- Published in:
- Manuscrito, 2019, v. 42, n. 1, p. 1, doi. 10.1590/0100-6045.2019.V42N1.DB
- By:
- Publication type:
- Article
8th Workshop on Logic, Language, Information and Computation (WoLLIC'2001).
- Published in:
- 2001
- By:
- Publication type:
- Conference Paper/Materials