MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Claus Hintermeier" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • G²-Algebras  
  • by Claus Hintermeier, Hélène Kirchner
  • …G 2 -Algebras Claus Hintermeier ? , H'el`ene Kirchner CRIN-CNRS & INRIA-Lorraine BP239, F…
  • Add To MetaCart
  • R^n- and G^n-Logics  
  • by H El Ene Kirchner, Hélène Kirchner, Peter D. Mosses, Claus Hintermeier, Claus Hintermeier — 1996 — Higher-Order Algebra, Logic, and Term Rewriting, volume 1074 of Lecture Notes in Computer Science
  • …R n G n BRICS Basic Research in Computer Science R n - and G n -Logics Claus Hintermeier H…
  • Add To MetaCart
  • R n - and G n -Logics  
  • by Claus Hintermeier, Hélène Kirchner, Peter D. Mosses, Ny Munkegade — 1996
  • …R n - and G n -Logics Claus Hintermeier, H#l#ne Kirchner 1 and Peter D. Mosses 2 1 CRIN…
  • Cited by 5 (4 self) – Add To MetaCart
  • Combining Algebraic and Set-Theoretic Specifications  
  • by H El Ene Kirchner, Hélène Kirchner, Claus Hintermeier, Claus Hintermeier, F- Vandoeuvre-l`es-nancy Cedex, Peter D. Mosses, Peter D. Mosses — 1996 — Recent Trends in Data Type Specification", Proc. 11th Workshop on Specification of Abstract Data Types joint with the 9th general COMPASS workshop
  • … (Extended Version) Claus Hintermeier H el ene Kirchner Peter D. Mosses BRICS Report Series RS-96-52 ISSN…
  • Cited by 3 (2 self) – Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB