By introducing a new operation, the exponentiation of formal languages, we can define Heyting algebras of formal languages. It turns out that some well known families of languages are closed under this exponentiation, e. g., the families of regular and of context-sensitive languages
In this paper, homological methods together with the theory of formal languages of theoretical compu...
ABSTRACT. The purpose of this paper is to define and investigate a new (equational) class of algebra...
In this paper we introduce a class of measures on formal languages. These measures are based on the ...
We extend some results of Ginsburg and Spanier [S. Ginsburg & E.H. Spanier, On incomparable Abstract...
AbstractWe present an extension of Heyting arithmetic in finite types called Uniform Heyting Arithme...
The variety of Heyting algebras has two well-behaved locally finite reducts, the variety of bounded ...
AbstractWe study the Boolean algebras R,CS,D of regular languages, context-sensitive languages and d...
We study the Boolean algebras R, CS, D of regular languages, context-sensitive languages and decidab...
We study the Boolean algebras R, CS, D of regular languages, context-sensitive languages and decidab...
We discuss some families of languages which have originally arisen from the study of mathematical mo...
We study the Boolean algebras R, CS, D of regular languages, context-sensitive languages and decidab...
The variety of Heyting algebras has two well-behaved locally finite reducts, the variety of bounded ...
Hamkins and Löwe proved that the modal logic of forcing is S4.2. In this paper, we consider its moda...
The POL be the class of polynomials having nonnegative integer coefficients and EXP the class of exp...
We show that adding compatible operations to Heyting algebras and to commutative residuated lattices...
In this paper, homological methods together with the theory of formal languages of theoretical compu...
ABSTRACT. The purpose of this paper is to define and investigate a new (equational) class of algebra...
In this paper we introduce a class of measures on formal languages. These measures are based on the ...
We extend some results of Ginsburg and Spanier [S. Ginsburg & E.H. Spanier, On incomparable Abstract...
AbstractWe present an extension of Heyting arithmetic in finite types called Uniform Heyting Arithme...
The variety of Heyting algebras has two well-behaved locally finite reducts, the variety of bounded ...
AbstractWe study the Boolean algebras R,CS,D of regular languages, context-sensitive languages and d...
We study the Boolean algebras R, CS, D of regular languages, context-sensitive languages and decidab...
We study the Boolean algebras R, CS, D of regular languages, context-sensitive languages and decidab...
We discuss some families of languages which have originally arisen from the study of mathematical mo...
We study the Boolean algebras R, CS, D of regular languages, context-sensitive languages and decidab...
The variety of Heyting algebras has two well-behaved locally finite reducts, the variety of bounded ...
Hamkins and Löwe proved that the modal logic of forcing is S4.2. In this paper, we consider its moda...
The POL be the class of polynomials having nonnegative integer coefficients and EXP the class of exp...
We show that adding compatible operations to Heyting algebras and to commutative residuated lattices...
In this paper, homological methods together with the theory of formal languages of theoretical compu...
ABSTRACT. The purpose of this paper is to define and investigate a new (equational) class of algebra...
In this paper we introduce a class of measures on formal languages. These measures are based on the ...
DOI
Add to ORKG