Results 131 to 140 of about 141 (141)

On Decidability of Regular Languages Theories

Lecture Notes in Computer Science, 2019
Boris Karlov, Sergey Dudakov
exaly  

Some decidability problems of sentential formst †

International Journal of Computer Mathematics, 1979
Tero Harju, Martti Penttonen
exaly  

A Comprehensive Picture of the Decidability of Mereological Theories

Studia Logica, 2012
Hsing-Chien Tsai
exaly  

Comparing First Order Theories of Modules over Group Rings II: Decidability

Mathematical Logic Quarterly, 2002
exaly  

Decidability of Equational Theories for Subsignatures of Relation Algebra

Lecture Notes in Computer Science, 2018
Robin Hirsch
exaly  

Decidability of monadic theories

2005
Alexei Semenov, Semenov A L
exaly  

On equational theories, unification and decidability

Lecture Notes in Computer Science, 1987
Manfred Schmidt-Schauß, Hans-Jürgen Bürckert, Bürckert Hans-Jürgen   +2 more
exaly  

Decidability of ∃*∀∀-sentences in HF

Notre Dame Journal of Formal Logic, 2008
exaly  

Approximate decidability in euclidean spaces

Mathematical Logic Quarterly, 2003
exaly  

Characterizing Sets of Theories That Can Be Disjointly Combined

Yoni Zohar, Guilherme V Toledo
exaly