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

Richard Göbel Vis

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

*2008
7 Richard Göbel, R. P. Lano: Clustering of Texts Facilitating Efficient Searching in Spatial Search Engines. DMS 2008: 164-169
1996
6EEErhard Diedrich, Richard Göbel: Aufbau des Satellitendaten-Informationssystems ISIS in einem evolutionären Entwicklungszyklus. EMISA 1996
1991
5 Richard Göbel, Robert Rodosek: A Language for Representing Planning Problems. EWSP 1991: 64-77
1987
4 Jürgen Avenhaus, Richard Göbel, Bernhard Gramlich, Klaus Madlener, Joachim Steinbach: TRSPEC: A Term Rewriting Based System for Algebraic Specifications. CTRS 1987: 245-248
3EERichard Göbel: Ground Confluence. RTA 1987: 156-167
1985
2 Richard Göbel: Completion of Globally Finite Term Rewriting Systems for Inductive Proofs. GWAI 1985: 101-110
1983
1 Richard Göbel: Rewrite Rules with Conditions for Algebraic Specifications. ADT 1983

Coauthor Index

1Jürgen Avenhaus [4]
2Erhard Diedrich [6]
3Bernhard Gramlich [4]
4R. P. Lano [7]
5Klaus Madlener [4]
6Robert Rodosek [5]
7Joachim Steinbach [4]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)