dblp.uni-trier.dewww.uni-trier.de

Ulrich Hensel

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999
5EEUlrich Hensel, Bart Jacobs: Coalgebraic Theories of Sequences in PVS. J. Log. Comput. 9(4): 463-500 (1999)
1998
4EEUlrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews: Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. ESOP 1998: 105-121
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

Coauthor Index

1Marieke Huisman [4]
2Bart Jacobs [3] [4] [5]
3Horst Reichel [1]
4David A. Spooner [2]
5Hendrik Tews [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)