Skip to search formSkip to main contentSkip to account menu

Generalized finite automata theory with an application to a decision problem of second-order logic

TLDR
The standard closure theorems are proved for the class of sets “recognizable” by finite algebras, and a generalization of Kleene's regularity theory is presented.
View on Springer (opens in a new tab)

Initial Algebra Semantics and Continuous Algebras

TLDR
An overview of initial algebra semantics is provided and the major technical feature is an initial continuous algebra which permits unified algebraic treatment of iterative and recursive semantic features in the same framework as more basic operations.
View on ACM (opens in a new tab)

Algebraic Automata and Context-Free Sets

View via Publisher (opens in a new tab)

Automata in General Algebras

View via Publisher (opens in a new tab)

An analysis of a logical machine using parenthesis-free notation

View via Publisher (opens in a new tab)

Realization of Events by Logical Nets

TLDR
A new formulation and new proofs of Kleene’s analysis and synthesis theorems are given, in which no acquaintance with Kleene is presupposed, to make these important results more widely accessible.
View on ACM (opens in a new tab)

A Uniform Approach to Inductive Posets and Inductive Closure

View via Publisher (opens in a new tab)

Data Type Specification: Parameterization and the Power of Specification Techniques

TLDR
The "hidden function" problem is investigated, it is proved that condit ional specifications are inherently more powerful than equational specifications, and it is shown that parameterized specifications must contain "side conditions".
View on ACM (opens in a new tab)

P-varieties - a signature independent characterization of varieties of ordered algebras

View via Publisher (opens in a new tab)

More on Advice on Structuring Compilers and Proving them Correct

View via Publisher (opens in a new tab)
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)