[Lecture Notes in Mathematics] Harmonic Maps Volume 949 || Harmonic diffeomorphisms of surfaces
- 作者Knill, Ronald J.; Kalka, Morris; Sealey, Howard C. J.
- 文件大小265.10KB
- 发表时间1982
- DOI10.1007/bfb0069762
- 页码140-145
Anchoring Modularity in HTMLClaude Kirchner; Hélène Kirchner; Anderson Santana · 2006
Controlling Rewriting by RewritingPeter Borovanský; Claude Kirchner; Hélène Kirchner · 1996
Inductive proof search moduloFabrice Nahon; Claude Kirchner; Hélène Kirchner; Paul Brauner · 2009
Preface: Volume 15Claude Kirchner; Hélène Kirchner · 1998
An Overview of ELANPeter Borovanský; Claude Kirchner; Hélène Kirchner; Pierre-Etienne Moreau; Christophe Ringeissen · 1998
External Rewriting for Skeptical Proof AssistantsQuang Huy Nguyen; Claude Kirchner; Hélène Kirchner · 2002
Analysis of Rewrite-Based Access Control PoliciesClaude Kirchner; Hélène Kirchner; Anderson Santana de Oliveira · 2009
Programming with equalities, subsorts, overloading, and parametrization in OBJJean-Pierre Jouannaud; Claude Kirchner; Hélène Kirchner; Aristide Mégrelis · 1992