| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1999 | |
|---|---|---|
| 6 |      | Ulrich Hensel, Bart Jacobs: Coalgebraic Theories of Sequences in PVS. J. Log. Comput. 9(4): 463-500 (1999) |
| 1998 | ||
| 5 | | Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews: Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. ESOP 1998: 105-121 |
| 4 |  | Ulrich Hensel: Definition and proof principles for data and processes. TU Dresden 1998: 1-177 |
| 1997 | ||
| 3 | | Ulrich Hensel, Bart Jacobs: Proof Principles for Datatypes with Iterated Recursion. Category Theory and Computer Science 1997: 220-241 |
| 1995 | ||
| 2 | | Ulrich Hensel, David A. Spooner: A View on Implementing Processes: Categories of Circuits. COMPASS/ADT 1995: 237-254 |
| 1994 | ||
| 1 | | Ulrich Hensel, Horst Reichel: Defining Equations in Terminal Coalgebras. COMPASS/ADT 1994: 307-318 |
| 1 | Marieke Huisman | [5] |
| 2 | Bart Jacobs | [3] [5] [6] |
| 3 | Horst Reichel | [1] |
| 4 | David A. Spooner | [2] |
| 5 | Hendrik Tews | [5] |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page