نتایج جستجو برای: réflexion

تعداد نتایج: 1307  

2000
Gestur Ólafsson

— In this paper we discuss topics in harmonic analysis and representation theory related to two different real forms G/H and Gc/H of a complex semisimple symmetric space GC/HC. We connect representations of G and G c using the theory of involutive representations of semi-groups and reflection symmetry. We discuss how to generalize the Segal-Bargmann transform to real forms of bounded symmetric ...

Journal: :CoRR 2007
Yves Bertot

We describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system. Covered aspects are natural semantics, denotational semantics, axiomatic semantics, and abstract interpretation. Descriptions as recursive functions are also provided whenever suitable, thus yielding a a verifica...

Journal: :Nouvelles perspectives en sciences sociales 2011

Journal: :Revista Científica Multidisciplinar Núcleo do Conhecimento 2019

Journal: :Documentation et bibliothèques 1990

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید