| Publication | Date of Publication | Type |
|---|
Program correctness and matricial iteration theories
Lecture Notes in Computer Science | 2023-08-16 | Paper |
Some quasi-varieties of iteration theories
Lecture Notes in Computer Science | 2023-04-28 | Paper |
Nonfinite axiomatizability of shuffle inequalities
TAPSOFT '95: Theory and Practice of Software Development | 2022-08-18 | Paper |
Solving polynomial fixed point equations
Mathematical Foundations of Computer Science 1994 | 2022-08-18 | Paper |
Free shuffle algebras in language varieties extended abstract
LATIN '95: Theoretical Informatics | 2022-08-16 | Paper |
scientific article; zbMATH DE number 6296805 (Why is no real title available?)
| 2014-05-19 | Paper |
Unique, guarded fixed points in an additive setting: extended abstract
Electronic Notes in Theoretical Computer Science | 2013-08-16 | Paper |
A note on ordinal DFAs
Order | 2013-03-20 | Paper |
Algebraic linear orderings
International Journal of Foundations of Computer Science | 2011-03-30 | Paper |
Algebraic ordinals
Fundamenta Informaticae | 2010-10-01 | Paper |
A Mezei-Wright theorem for categorical algebras
Theoretical Computer Science | 2009-12-15 | Paper |
Cycle-Free Finite Automata in Partial Iterative Semirings
Algebraic Informatics | 2009-11-05 | Paper |
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2009-08-06 | Paper |
Axiomatizing rational power series over natural numbers
Information and Computation | 2009-07-15 | Paper |
Regular and Algebraic Words and Ordinals
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
scientific article; zbMATH DE number 5499328 (Why is no real title available?)
| 2009-01-28 | Paper |
On Algebras with Iteration
Journal Of Logic And Computation | 2008-12-22 | Paper |
The equational theory of regular words
Information and Computation | 2005-05-12 | Paper |
Axiomatizing omega and omega-op powers of words
RAIRO - Theoretical Informatics and Applications | 2004-10-28 | Paper |
scientific article; zbMATH DE number 2053214 (Why is no real title available?)
| 2004-03-08 | Paper |
scientific article; zbMATH DE number 2040320 (Why is no real title available?)
| 2004-02-11 | Paper |
Iteration 2-theories
Applied Categorical Structures | 2002-03-13 | Paper |
Long words: The theory of concatenation and \(\omega\)-power
Theoretical Computer Science | 2001-08-20 | Paper |
scientific article; zbMATH DE number 1512703 (Why is no real title available?)
| 2001-03-22 | Paper |
Varieties generated by languages with poset operations
Mathematical Structures in Computer Science | 1998-09-08 | Paper |
The equational logic of fixed points
Theoretical Computer Science | 1998-07-22 | Paper |
Axiomatizing shuffle and concatenation in languages
Information and Computation | 1998-05-04 | Paper |
scientific article; zbMATH DE number 1107618 (Why is no real title available?)
| 1998-02-16 | Paper |
scientific article; zbMATH DE number 1047921 (Why is no real title available?)
| 1997-08-12 | Paper |
Matrices, machines and behaviors
Applied Categorical Structures | 1997-04-09 | Paper |
Free shuffle algebras in language varieties
Theoretical Computer Science | 1997-02-27 | Paper |
Fixed-point operations on ccc's. I
Theoretical Computer Science | 1997-02-27 | Paper |
scientific article; zbMATH DE number 938515 (Why is no real title available?)
| 1996-12-09 | Paper |
SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC’S
International Journal of Foundations of Computer Science | 1995-12-03 | Paper |
Notes on equational theories of relations
Algebra Universalis | 1995-02-22 | Paper |
Floyd-Hoare logic in iteration theories
Journal of the ACM | 1994-11-13 | Paper |
Equational axioms for regular sets
Mathematical Structures in Computer Science | 1994-09-22 | Paper |
Matrix and matricial iteration theories. I
Journal of Computer and System Sciences | 1993-08-18 | Paper |
Matrix and matricial iteration theories. II
Journal of Computer and System Sciences | 1993-08-18 | Paper |
scientific article; zbMATH DE number 233974 (Why is no real title available?)
| 1993-07-08 | Paper |
ITERATION ALGEBRAS
International Journal of Foundations of Computer Science | 1993-06-29 | Paper |
Iteration theories of synchronization trees
Information and Computation | 1993-05-16 | Paper |
A Cayley Theorem for Boolean Algebras
The American Mathematical Monthly | 1992-06-27 | Paper |
scientific article; zbMATH DE number 17530 (Why is no real title available?)
| 1992-06-26 | Paper |
A note on guarded theories
Theoretical Computer Science | 1992-06-25 | Paper |
scientific article; zbMATH DE number 8768 (Why is no real title available?)
| 1992-06-25 | Paper |
Equational logic of circular data type specification
Theoretical Computer Science | 1989-01-01 | Paper |
Varieties of Iteration Theories
SIAM Journal on Computing | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4008628 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 3999320 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3918620 (Why is no real title available?)
| 1985-01-01 | Paper |
Axiomatizing schemes and their behaviors
Journal of Computer and System Sciences | 1985-01-01 | Paper |
scientific article; zbMATH DE number 4039263 (Why is no real title available?)
| 1985-01-01 | Paper |
A logical characterization of observation equivalence
Theoretical Computer Science | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3900177 (Why is no real title available?)
| 1985-01-01 | Paper |
Varieties of ”If-Then-Else“
SIAM Journal on Computing | 1983-01-01 | Paper |
Recursion and iteration in continuous theories: the M-construction
Journal of Computer and System Sciences | 1983-01-01 | Paper |
All solutions of a system of recursion equations in infinite trees and other contraction theories
Journal of Computer and System Sciences | 1983-01-01 | Paper |
P-varieties - a signature independent characterization of varieties of ordered algebras
Journal of Pure and Applied Algebra | 1983-01-01 | Paper |
Finitary quasi-varieties
Journal of Pure and Applied Algebra | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3815930 (Why is no real title available?)
| 1982-01-01 | Paper |
A note on the logic of signed equations
Studia Logica | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3795352 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3722096 (Why is no real title available?)
| 1981-01-01 | Paper |
Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
SIAM Journal on Computing | 1980-01-01 | Paper |
Vector Iteration in Pointed Iterative Theories
SIAM Journal on Computing | 1980-01-01 | Paper |
Compatible Orderings on the Metric Theory of Trees
SIAM Journal on Computing | 1980-01-01 | Paper |
Algebraic and graph theoretic characterizations of structured flowchart schemes
Theoretical Computer Science | 1979-01-01 | Paper |
On the algebraic structure of rooted trees
Journal of Computer and System Sciences | 1978-01-01 | Paper |
scientific article; zbMATH DE number 3587015 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3630190 (Why is no real title available?)
| 1978-01-01 | Paper |
Scalar and vector iteration
Journal of Computer and System Sciences | 1977-01-01 | Paper |
Varieties of ordered algebras
Journal of Computer and System Sciences | 1976-01-01 | Paper |
The existence and construction of free iterative theories
Journal of Computer and System Sciences | 1976-01-01 | Paper |
Projective and inductive generation of abstract logics
Studia Logica | 1976-01-01 | Paper |
Some theorems on structural consequence operations
Studia Logica | 1975-01-01 | Paper |
A representation theorem for the lattice of standard consequence operations
Studia Logica | 1975-01-01 | Paper |
A note on the predicatively definable sets of N. N. Nepeîvoda
Mathematical Logic Quarterly | 1975-01-01 | Paper |
On regular congruences
Colloquium Mathematicum | 1974-01-01 | Paper |
On 'generalized logics'
Studia Logica | 1974-01-01 | Paper |
scientific article; zbMATH DE number 3496155 (Why is no real title available?)
| 1973-01-01 | Paper |
Extension of Gödel's completeness theorem and the Löwenheim-Skolem theorem
Notre Dame Journal of Formal Logic | 1973-01-01 | Paper |
Investigations into the sentential calculus with identity
Notre Dame Journal of Formal Logic | 1972-01-01 | Paper |
scientific article; zbMATH DE number 3356752 (Why is no real title available?)
| 1972-01-01 | Paper |
Semantics for the sentential calculus with identity
Studia Logica | 1971-01-01 | Paper |
A completeness theorem for theories of kind W
Studia Logica | 1971-01-01 | Paper |
Some theorems on abstract logics
Algebra and Logic | 1971-01-01 | Paper |
Some Remarks on Uniform Halting Problems
Mathematical Logic Quarterly | 1971-01-01 | Paper |
scientific article; zbMATH DE number 3413815 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3344577 (Why is no real title available?)
| 1970-01-01 | Paper |
The Hyperprojective Hierarchy
Mathematical Logic Quarterly | 1970-01-01 | Paper |
scientific article; zbMATH DE number 3332440 (Why is no real title available?)
| 1970-01-01 | Paper |
A semi-completeness theorem
Notre Dame Journal of Formal Logic | 1969-01-01 | Paper |
A note on the arithmetical hierarchy
Notre Dame Journal of Formal Logic | 1968-01-01 | Paper |
