| Publication | Date of Publication | Type |
|---|
Semantics of non-terminating rewrite systems using minimal coverings
| 2024-06-21 | Paper |
Compiling concurrent rewriting onto the Rewrite Rule Machine
Conditional and Typed Rewriting Systems | 2023-03-09 | Paper |
An introduction to category-based equational logic
Algebraic Methodology and Software Technology | 2022-08-16 | Paper |
Proving and rewriting
Algebraic and Logic Programming | 2022-08-16 | Paper |
scientific article; zbMATH DE number 6296809 (Why is no real title available?)
| 2014-05-19 | Paper |
Specifying, programming and verifying with equational logic
| 2011-07-06 | Paper |
Composing hidden information modules over inclusive institutions
From Object-Orientation to Formal Methods | 2011-04-01 | Paper |
Conditional circular coinductive rewriting with case analysis.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
scientific article; zbMATH DE number 5316606 (Why is no real title available?)
| 2008-08-26 | Paper |
Data, Schema, Ontology and Logic Integration
Logic Journal of the IGPL | 2006-03-30 | Paper |
scientific article; zbMATH DE number 2246077 (Why is no real title available?)
| 2006-01-11 | Paper |
scientific article; zbMATH DE number 2196612 (Why is no real title available?)
| 2005-08-22 | Paper |
scientific article; zbMATH DE number 1995173 (Why is no real title available?)
| 2003-10-21 | Paper |
scientific article; zbMATH DE number 1988959 (Why is no real title available?)
| 2003-10-20 | Paper |
scientific article; zbMATH DE number 1947752 (Why is no real title available?)
| 2003-07-09 | Paper |
A hidden Herbrand theorem: Combining the object and logic paradigms
The Journal of Logic and Algebraic Programming | 2003-02-13 | Paper |
Institution morphisms
Formal Aspects of Computing | 2002-09-25 | Paper |
Web-based support for cooperative software engineering
Annals of Software Engineering | 2002-05-20 | Paper |
scientific article; zbMATH DE number 1507195 (Why is no real title available?)
| 2001-06-24 | Paper |
scientific article; zbMATH DE number 1507225 (Why is no real title available?)
| 2001-05-20 | Paper |
Behavioral and coinductive rewriting
| 2001-05-07 | Paper |
scientific article; zbMATH DE number 1497796 (Why is no real title available?)
| 2001-03-05 | Paper |
scientific article; zbMATH DE number 1543346 (Why is no real title available?)
| 2001-02-27 | Paper |
A hidden agenda
Theoretical Computer Science | 2000-08-21 | Paper |
An Oxford survey of order sorted algebra
Mathematical Structures in Computer Science | 2000-07-04 | Paper |
scientific article; zbMATH DE number 1418819 (Why is no real title available?)
| 2000-04-02 | Paper |
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science | 2000-02-07 | Paper |
scientific article; zbMATH DE number 1222421 (Why is no real title available?)
| 1999-11-29 | Paper |
scientific article; zbMATH DE number 1342345 (Why is no real title available?)
| 1999-09-22 | Paper |
scientific article; zbMATH DE number 1487499 (Why is no real title available?)
| 1999-01-01 | Paper |
scientific article; zbMATH DE number 1972769 (Why is no real title available?)
| 1999-01-01 | Paper |
scientific article; zbMATH DE number 1042220 (Why is no real title available?)
| 1997-08-03 | Paper |
Institutions: abstract model theory for specification and programming
Journal of the ACM | 1994-11-13 | Paper |
Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
Information and Computation | 1993-06-29 | Paper |
scientific article; zbMATH DE number 139806 (Why is no real title available?)
| 1993-03-28 | Paper |
Final algebras, cosemicomputable algebras and degrees of unsolvability
Theoretical Computer Science | 1993-01-17 | Paper |
Sheaf semantics for concurrent interacting objects
Mathematical Structures in Computer Science | 1993-01-16 | Paper |
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
Theoretical Computer Science | 1992-12-16 | Paper |
Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
Theoretical Computer Science | 1992-06-28 | Paper |
scientific article; zbMATH DE number 17707 (Why is no real title available?)
| 1992-06-26 | Paper |
A categorical manifesto
Mathematical Structures in Computer Science | 1992-06-25 | Paper |
Order-sorted unification
Journal of Symbolic Computation | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4166866 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4090765 (Why is no real title available?)
| 1988-01-01 | Paper |
Modular algebraic specification of some basic geometrical constructions
Artificial Intelligence | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4018380 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4043232 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4043231 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 3997131 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3980455 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3970817 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3911679 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3949706 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3864486 (Why is no real title available?)
| 1984-01-01 | Paper |
Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
Theoretical Computer Science | 1984-01-01 | Paper |
Equality, types, modules, and (why not?) generics for logic programming
The Journal of Logic Programming | 1984-01-01 | Paper |
Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
Theoretical Computer Science | 1984-01-01 | Paper |
Parameterized Programming
IEEE Transactions on Software Engineering | 1984-01-01 | Paper |
Correctness of recursive parallel nondeterministic flow programs
Journal of Computer and System Sciences | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3776831 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3784848 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3821084 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3733229 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3750268 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3714904 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3684925 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3714891 (Why is no real title available?)
| 1979-01-01 | Paper |
SYSTEMS AND DISTINCTIONS; DUALITY AND COMPLEMENT ARITY†
International Journal of General Systems | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3581594 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3637652 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3617984 (Why is no real title available?)
| 1978-01-01 | Paper |
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3551855 (Why is no real title available?)
| 1977-01-01 | Paper |
Parallel realization of systems, using factorizations and quotients in categories
Journal of the Franklin Institute | 1976-01-01 | Paper |
scientific article; zbMATH DE number 3562490 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3602655 (Why is no real title available?)
| 1976-01-01 | Paper |
Semantics of computation
Lecture Notes in Computer Science | 1975-01-01 | Paper |
scientific article; zbMATH DE number 3479111 (Why is no real title available?)
| 1975-01-01 | Paper |
Discrete-time machines in closed monoidal categories. I
Journal of Computer and System Sciences | 1975-01-01 | Paper |
scientific article; zbMATH DE number 3532554 (Why is no real title available?)
| 1975-01-01 | Paper |
Axioms for discrimination information (Corresp.)
IEEE Transactions on Information Theory | 1975-01-01 | Paper |
Concept representation in natural and artificial languages: Axioms, extensions and applications for fuzzy sets
International Journal of Man-Machine Studies | 1974-01-01 | Paper |
OBJECTS
International Journal of General Systems | 1974-01-01 | Paper |
On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs
Journal of Computer and System Sciences | 1974-01-01 | Paper |
scientific article; zbMATH DE number 3518609 (Why is no real title available?)
| 1974-01-01 | Paper |
The fuzzy Tychonoff theorem
Journal of Mathematical Analysis and Applications | 1973-01-01 | Paper |
Realization is universal
Mathematical Systems Theory | 1973-01-01 | Paper |
scientific article; zbMATH DE number 3564285 (Why is no real title available?)
| 1973-01-01 | Paper |
Minimal realization of machines in closed categories
Bulletin of the American Mathematical Society | 1972-01-01 | Paper |
The logic of inexact concepts
Synthese | 1969-01-01 | Paper |
Categories of $V$-sets
Bulletin of the American Mathematical Society | 1969-01-01 | Paper |
L-fuzzy sets
Journal of Mathematical Analysis and Applications | 1967-01-01 | Paper |
