Uwe Wolter - Academia.edu (original) (raw)

Papers by Uwe Wolter

Research paper thumbnail of Narrowing in partial conditional equational theories

Lecture Notes in Computer Science, 1988

Research paper thumbnail of Cofree Coalgebras for Signature Morphisms

Lecture Notes in Computer Science, 2005

ABSTRACT

Research paper thumbnail of A (Co)Algebraic Analysis of Synchronization in CSP

Lecture Notes in Computer Science, 2000

ABSTRACT

Research paper thumbnail of CSP, partial automata, and coalgebras

Theoretical Computer Science, 2002

Research paper thumbnail of Institutional frames

Lecture Notes in Computer Science, 1995

... (16) Page 10. 478 It is easy to see that this defines an entailment category Ent~(57) for any... more ... (16) Page 10. 478 It is easy to see that this defines an entailment category Ent~(57) for any 57 in "SIGN and that these categories provide a functor Eat ~ : SIGN --+ CAT. ... Page 11. 479 We call (4~, 7,/3) natural if 7 and /3 are natural transformations. ...

Research paper thumbnail of An Algebraic Approach to Deduction in Equational Partial Horn Theories

Research paper thumbnail of Narrowing in partial equational theories

Research paper thumbnail of Ableitungskalküle und operationale Semantik für algebraische Spezifikationen mit bedingten Gleichungen -- Totale Algebren

Research paper thumbnail of Higher Order Partial Algebras in View of the Semantics of Functional Languages

Research paper thumbnail of Observations and Questions Concerning Partiality and Don't Care Non-Strictness

Research paper thumbnail of Guest Editor's foreword

Research paper thumbnail of On Corelations, Cokernels, and Coequations

Electronic Notes in Theoretical Computer Science, 2000

Research paper thumbnail of A coalgebraic introduction to CSP

Electronic Notes in Theoretical Computer Science, 1999

Research paper thumbnail of Towards a Formal Approach to Metamodel Evolution

Research paper thumbnail of 2-Categorical specification of partial algebras

Lecture Notes in Computer Science, 1994

ABSTRACT

Research paper thumbnail of Integrating the specification techniques of graph transformation and temporal logic

Lecture Notes in Computer Science, 1997

Research paper thumbnail of Stars: Twisting Exteriors - Turbulent Interiors

Research paper thumbnail of Shedding the New Light in the World of Logical Systems

Proceedings of the 7th International Conference on Category Theory and Computer Science, Sep 4, 1997

Research paper thumbnail of Constraint-Aware Model Merging

Research paper thumbnail of Applications of Category Theory to the Area of Algebraic Specification in Computer Science

Research paper thumbnail of Narrowing in partial conditional equational theories

Lecture Notes in Computer Science, 1988

Research paper thumbnail of Cofree Coalgebras for Signature Morphisms

Lecture Notes in Computer Science, 2005

ABSTRACT

Research paper thumbnail of A (Co)Algebraic Analysis of Synchronization in CSP

Lecture Notes in Computer Science, 2000

ABSTRACT

Research paper thumbnail of CSP, partial automata, and coalgebras

Theoretical Computer Science, 2002

Research paper thumbnail of Institutional frames

Lecture Notes in Computer Science, 1995

... (16) Page 10. 478 It is easy to see that this defines an entailment category Ent~(57) for any... more ... (16) Page 10. 478 It is easy to see that this defines an entailment category Ent~(57) for any 57 in "SIGN and that these categories provide a functor Eat ~ : SIGN --+ CAT. ... Page 11. 479 We call (4~, 7,/3) natural if 7 and /3 are natural transformations. ...

Research paper thumbnail of An Algebraic Approach to Deduction in Equational Partial Horn Theories

Research paper thumbnail of Narrowing in partial equational theories

Research paper thumbnail of Ableitungskalküle und operationale Semantik für algebraische Spezifikationen mit bedingten Gleichungen -- Totale Algebren

Research paper thumbnail of Higher Order Partial Algebras in View of the Semantics of Functional Languages

Research paper thumbnail of Observations and Questions Concerning Partiality and Don't Care Non-Strictness

Research paper thumbnail of Guest Editor's foreword

Research paper thumbnail of On Corelations, Cokernels, and Coequations

Electronic Notes in Theoretical Computer Science, 2000

Research paper thumbnail of A coalgebraic introduction to CSP

Electronic Notes in Theoretical Computer Science, 1999

Research paper thumbnail of Towards a Formal Approach to Metamodel Evolution

Research paper thumbnail of 2-Categorical specification of partial algebras

Lecture Notes in Computer Science, 1994

ABSTRACT

Research paper thumbnail of Integrating the specification techniques of graph transformation and temporal logic

Lecture Notes in Computer Science, 1997

Research paper thumbnail of Stars: Twisting Exteriors - Turbulent Interiors

Research paper thumbnail of Shedding the New Light in the World of Logical Systems

Proceedings of the 7th International Conference on Category Theory and Computer Science, Sep 4, 1997

Research paper thumbnail of Constraint-Aware Model Merging

Research paper thumbnail of Applications of Category Theory to the Area of Algebraic Specification in Computer Science