Chair for Automata Theory of the Institute for Theoretical Computer Science, Faculty of Computer Science at TU Dresden

Technical Reports

1997

F. Baader and U. Sattler. Description Logics with Aggregates and Concrete Domains. LTCS-Report 97-01, LuFg Theoretical Computer Science, RWTH Aachen, Germany, 1997. An abridged version has appeared in the Proceedings of the International Workshop on Description Logics 97.
Abstract Paper (PS)

Bibtex Entry

@TechReport{BaSat97,
  author = 	 {Baader, F. and Sattler, U.},
  title = 	 {Description Logics with Aggregates and Concrete Domains},
  institution =  {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
  year = 	 1997,
  number =	 {LTCS-97-01},
  type = {LTCS-Report},
  note = {An abridged version has appeared in the Proceedings of the
                  International Workshop on Description Logics 97.}
}

F. Baader and P. Narendran. Unification of Concept Terms in Description Logics. LTCS-Report 97-02, LuFg Theoretical Computer Science, RWTH Aachen, Germany, 1997.
Abstract Paper (PS)

Bibtex Entry

@TECHREPORT{Baader-Narendran-LTCS-97,
 author         = {F. Baader and P. Narendran},
 title          = {Unification of Concept Terms in Description Logics},
 institution    = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
 year           = 1997,
 type           = {LTCS-Report},
 number         = {LTCS-97-02},
 ccl            = {yes}
}

F. Baader. On the Complexity of Boolean Unification. LTCS-Report 97-03, LuFg Theoretical Computer Science, RWTH Aachen, Germany, 1997.
Abstract Paper (PS)

Bibtex Entry

@TECHREPORT{Baader-LTCS-97-03,
 author         = {F. Baader},
 title          = {On the Complexity of Boolean Unification},
 institution    = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
 year           = 1997,
 type           = {LTCS-Report},
 number         = {LTCS-97-03},
 ccl            = {yes}
}

R. Küsters. Characterizing the semantics of terminological cycles in ALN using finite automata. LTCS-Report 97-04, LuFg Theoretical Computer Science, RWTH Aachen, Germany, 1997.
Abstract Paper (PS)

Bibtex Entry

@TECHREPORT{Kuesters-LTCS-97-04,
 author         = {R. K{\"u}sters},
 title          = {Characterizing the semantics of terminological cycles in
                  \mathcal{ALN} using finite automata},
 institution    = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
 year           = 1997,
 type           = {LTCS-Report},
 number         = {LTCS-97-04}
}

M. S. Hacid, P. Marcel, and C. Rigotti. A rule based data manipulation language for OLAP systems. LTCS-Report 97-05, LuFg Theoretical Computer Science, RWTH Aachen, 1997. A short version has appeared in the Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases (DOOD'97), Montreux, Switzerland.
Abstract Paper (PS)

Bibtex Entry

@techreport{Hacid&al97a,
   author = {M. S. Hacid and P. Marcel and C. Rigotti},
   booktitle = {Proc. of the 5th Intl. Conf. on Deductive and Object-Oriented
                  Databases (DOOD'97)},
   institution = {LuFg Theoretical Computer Science, RWTH Aachen},
   note = {A short version has appeared in the Proceedings of the 5th
                  International Conference on Deductive and Object-Oriented
                  Databases (DOOD'97), Montreux, Switzerland},
   number = {LTCS-97-05},
   publisher = {SPRINGER},
   series = {LNCS},
   title = {A rule based data manipulation language for {OLAP} systems},
   type = {LTCS-Report},
   year = {1997}
}

There is also a complete overview of our technical reports.

Back to the homepage of the Chair for Automata Theory.

Generated at Tue Apr 24 10:46:19 CEST 2012.