Christian-Emil Ore

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

2 Martin Doerr, Christian-Emil Ore, Stephen Stead: The CIDOC Conceptual Reference Model - A New Standard for Knowledge Sharing. ER (Tutorials, Posters, Panels & Industrial Contributions) 2007: 51-56

1992

1 Christian-Emil Ore: The Extended Calculus of Constructions (ECC) with Inductive Types Inf. Comput. 99(2): 231-264 (1992)

	2007
2		Martin Doerr, Christian-Emil Ore, Stephen Stead: The CIDOC Conceptual Reference Model - A New Standard for Knowledge Sharing. ER (Tutorials, Posters, Panels & Industrial Contributions) 2007: 51-56
	1992
1		Christian-Emil Ore: The Extended Calculus of Constructions (ECC) with Inductive Types Inf. Comput. 99(2): 231-264 (1992)

Coauthor Index