INVERSION FORMULAE FOR CHARACTERISTIC FUNCTIONALS OF STOCHASTIC PROCESSES

被引：7
|
作者：
CAMERON, RH
DONSKER, MD
机构：
来源：
ANNALS OF MATHEMATICS | 1959年 / 69卷 / 01期
关键词：
D O I：
10.2307/1970091
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：15 / 36
页数：22
相关论文
共 50 条
  • [41] Monotonicity formulae for smooth extremizers of integral functionals
    Fried, Eliot
    Lussardi, Luca
    RENDICONTI LINCEI-MATEMATICA E APPLICAZIONI, 2019, 30 (02) : 365 - 377
  • [42] EXACT FORMULAE FOR VARIANCES OF FUNCTIONALS OF CONVEX HULLS
    Buchta, Christian
    ADVANCES IN APPLIED PROBABILITY, 2013, 45 (04) : 917 - 924
  • [43] The Proof of the Characteristic Polynomial Formulae
    Nemethi, Andras
    Szilard, Agnes
    MILNOR FIBER BOUNDARY OF A NON-ISOLATED SURFACE SINGULARITY, 2012, 2037 : 167 - 172
  • [44] Characteristic formulae for timed automata
    Aceto, L
    Ingólfsdóttir, A
    Pedersen, ML
    Poulsen, J
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 2000, 34 (06): : 565 - 584
  • [45] Unusual formulae for the Euler characteristic
    Roberts, J
    JOURNAL OF KNOT THEORY AND ITS RAMIFICATIONS, 2002, 11 (05) : 793 - 796
  • [46] When Are Prime Formulae Characteristic?
    Aceto, L.
    Della Monica, D.
    Fabregas, I.
    Ingolfsdottir, A.
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2015, PT I, 2015, 9234 : 76 - 88
  • [47] The complexity of identifying characteristic formulae
    Aceto, Luca
    Achilleos, Antonis
    Francalanza, Adrian
    Ingolfsdottir, Anna
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2020, 112 (112)
  • [48] Characteristic Formulae for Session Types
    Lange, Julien
    Yoshida, Nobuko
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 833 - 850
  • [49] When are prime formulae characteristic?
    Aceto, Luca
    Della Monica, Dario
    Fabregas, Ignacio
    Ingolfsdottir, Anna
    THEORETICAL COMPUTER SCIENCE, 2019, 777 (3-31) : 3 - 31
  • [50] Verified Characteristic Formulae for CakeML
    Gueneau, Armael
    Myreen, Magnus O.
    Kumar, Ramana
    Norrish, Michael
    PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2017): 26TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2017, 10201 : 584 - 610
12345