MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Horst Reichel" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

6 documents found, showing 1 through 6.

ATOM

A Uniform Model Theory for the Specification of Data and Process types
by Horst Reichel
…A Uniform Model Theory for the Specication of Data and Process Types Horst Reichel Institut…
Add To MetaCart

Nested Sketches
by Horst Reichel, Tu Dresden
…Nested Sketches (Preliminary Version) Horst Reichel TU Dresden 1 Introduction Since…
Cited by 2 (0 self) – Add To MetaCart

Unifying ADT-- and Evolving Algebra Specifications
by Horst Reichel Institut, Horst Reichel — 1996 — EATCS Bulletin
…Unifying ADT-- and Evolving Algebra Specifications Horst Reichel Institut fur Theoretische…
Add To MetaCart

From Total Equational to Partial First Order Logic
by Maura Cerioli, Till Mossakowski, Horst Reichel — 1998
… , and Horst Reichel 3 1 DISI -- Dipartimento di Informatica e Scienze dell'Informazione Universit`a di…
Cited by 17 (7 self) – Add To MetaCart

Algebraic-coalgebraic specification in CoCasl
by Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder — 2006 — J. Logic Algebraic Programming
…Algebraic-coalgebraic specification in CoCasl Till Mossakowski 1 , Horst Reichel 2 , Markus…
Cited by 16 (8 self) – Add To MetaCart

Representations, Hierarchies, and Graphs of Institutions
by Till Mossakowski, Gutachter Prof, Dr. Hans-jorg Kreowski, Prof Dr, Andrzej Tarlecki, Amilcar Sernadas, Horst Reichel, Pepe Meseguer, Bernd Krieg-bruckner, Maura Cerioli, Valentin Antimirov — 1996
…/lowski, Amilcar Sernadas, Pippo Scollo, Horst Reichel, Pepe Meseguer, Bernd Krieg-Bruckner, Jo Goguen, Maura…
Cited by 5 (4 self) – Add To MetaCart

Showing 1 through 6.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB