Treffer 1 - 20 von 296 für Suche 'LARRECQ', Suchdauer: 1,10s Treffer weiter einschränken
  1. 1
    A few projective classes of (non-Hausdorff) topological spaces

    A few projective classes of (non-Hausdorff) topological spaces von Goubault-Larrecq, Jean

    Veröffentlicht in Topology and its applications

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Kantorovich-Rubinstein quasi-metrics IV: Lenses, quasi-lenses and forks

    Kantorovich-Rubinstein quasi-metrics IV: Lenses, quasi-lenses and forks von Goubault-Larrecq, Jean

    Veröffentlicht in Topology and its applications

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Kantorovich-Rubinstein quasi-metrics III: Spaces of sublinear and superlinear previsions

    Kantorovich-Rubinstein quasi-metrics III: Spaces of sublinear and superlinear previsions von Goubault-Larrecq, Jean

    Veröffentlicht in Topology and its applications

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Kantorovich-Rubinstein quasi-metrics II: Hyperspaces and powerdomains

    Kantorovich-Rubinstein quasi-metrics II: Hyperspaces and powerdomains von Goubault-Larrecq, Jean

    Veröffentlicht in Topology and its applications

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Kantorovich-Rubinstein quasi-metrics I: Spaces of measures and of continuous valuations

    Kantorovich-Rubinstein quasi-metrics I: Spaces of measures and of continuous valuations von Goubault-Larrecq, Jean

    Veröffentlicht in Topology and its applications

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    A few characterizations of topological spaces with no infinite discrete subspace

    A few characterizations of topological spaces with no infinite discrete subspace von Goubault-Larrecq, Jean, Pouzet, Maurice

    Veröffentlicht in Topology and its applications

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    A cone-theoretic barycenter existence theorem

    A cone-theoretic barycenter existence theorem von Goubault-Larrecq, Jean, Jia, Xiaodong


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Formal ball monads

    Formal ball monads von Goubault-Larrecq, Jean

    Veröffentlicht in Topology and its applications

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces

    Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces von Goubault-Larrecq, Jean

    Veröffentlicht in Topology and its applications

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Products and projective limits of continuous valuations on T 0 spaces

    Products and projective limits of continuous valuations on T 0 spaces von Goubault-Larrecq, Jean


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Products and projective limits of continuous valuations on T0 spaces

    Products and projective limits of continuous valuations on T0 spaces von Goubault-Larrecq, Jean


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    A Domain-theoretic Approach to Statistical Programming Languages

    A Domain-theoretic Approach to Statistical Programming Languages von Goubault-Larrecq, Jean, Jia, Xiaodong, Théron, Clément

    Veröffentlicht in Journal of the ACM

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Separating minimal valuations, point-continuous valuations, and continuous valuations

    Separating minimal valuations, point-continuous valuations, and continuous valuations von Goubault-Larrecq, Jean, Jia, Xiaodong


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Forward analysis for WSTS, part I: completions

    Forward analysis for WSTS, part I: completions von Finkel, Alain, Goubault-Larrecq, Jean


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Isomorphism theorems between models of mixed choice

    Isomorphism theorems between models of mixed choice von GOUBAULT-LARRECQ, JEAN


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    A semantics for nabla

    A semantics for nabla von GOUBAULT-LARRECQ, JEAN


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Fooling the Parallel or Tester with Probability 8/27

    Fooling the Parallel or Tester with Probability 8/27 von Goubault-Larrecq, Jean


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases

    Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases von Goubault-Larrecq, Jean


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020

    Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020 von Goubault-Larrecq, Jean, König, Barbara

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Cryptographic protocol analysis on real c code

    Cryptographic protocol analysis on real c code von Goubault-Larrecq, Jean, Parrennes, Fabrice


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: