E-LIB Suche - Ergebnisse für: Behr, Nicolas - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

Fundamentals of compositional rewriting theory:

Behr, Nicolas ; Harmer, Russ ; Krivine, Jean
Journal of Logical and Algebraic Methods in Programming. 135 (2023) - p. 100893 , 2023

Link: https://doi.org/10.1016/..

2

A Living Monograph for Graph Transformation:

, In: Graph Transformation; Lecture Notes in Computer Science,

Behr, Nicolas ; Harmer, Russ - p. 281-291 , 2023

Link: https://doi.org/10.1007/..

3

Graph Transformation: 15th International Conference, ICGT 2..

Lecture Notes in Computer Science, 13349

Behr, Nicolas ; Strüber, Daniel - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

4

Concurrency Theorems for Non-linear Rewriting Theories:

, In: Graph Transformation; Lecture Notes in Computer Science,

Behr, Nicolas ; Harmer, Russ ; Krivine, Jean - p. 3-21 , 2021

Link: https://doi.org/10.1007/..

5

Rewriting theory for the life sciences: A unifying theory o..:

Behr, Nicolas ; Krivine, Jean ; Andersen, Jakob L..
Theoretical Computer Science. 884 (2021) - p. 68-115 , 2021

Link: https://doi.org/10.1016/..

6

Fusion of interfaces in Landau-Ginzburg models: a functoria..:

Behr, Nicolas ; Fredenhagen, Stefan
Journal of High Energy Physics. 2021 (2021) 4 - p. , 2021

Link: https://doi.org/10.1007/..

7

Compositionality of Rewriting Rules with Conditions:

Behr, Nicolas ; Krivine, Jean
Compositionality. 3 (2021) - p. 2 , 2021

Link: https://doi.org/10.32408..

8

Rewriting Theory for the Life Sciences: A Unifying Theory o..:

, In: Graph Transformation; Lecture Notes in Computer Science,

Behr, Nicolas ; Krivine, Jean - p. 185-202 , 2020

Link: https://doi.org/10.1007/..

9

Operator Ordering and Solution of Pseudo-Evolutionary Equat..:

Behr, Nicolas ; Dattoli, Giuseppe ; Lattanzi, Ambra
Axioms. 8 (2019) 1 - p. 35 , 2019

Link: https://doi.org/10.3390/..

10

Operational Methods in the Study of Sobolev-Jacobi Polynomi..:

Behr, Nicolas ; Dattoli, Giuseppe ; Duchamp, Gérard H. E...
Mathematics. 7 (2019) 2 - p. 124 , 2019

Link: https://doi.org/10.3390/..

11

Dual Numbers and Operational Umbral Methods:

Behr, Nicolas ; Dattoli, Giuseppe ; Lattanzi, Ambra.
Axioms. 8 (2019) 3 - p. 77 , 2019

Link: https://doi.org/10.3390/..

12

Holography as a highly efficient renormalization group flow..:

Behr, Nicolas ; Mukhopadhyay, Ayan
Physical Review D. 94 (2016) 2 - p. , 2016

Link: https://doi.org/10.1103/..

13

Holography as a highly efficient renormalization group flow..:

Behr, Nicolas ; Kuperstein, Stanislav ; Mukhopadhyay, Ayan
Physical Review D. 94 (2016) 2 - p. , 2016

Link: https://doi.org/10.1103/..

14

Stochastic mechanics of graph rewriting:

, In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science,

Behr, Nicolas ; Danos, Vincent ; Garnier, Ilias - p. 46-55 , 2016

Link: https://dl.acm.org/doi/1..

15

New solid state lens for reflective neutron focusing:

Bartmann, Roland ; Behr, Nicolas ; Hilger, André.
Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment. 634 (2011) 1 - p. S104-S107 , 2011

Link: https://doi.org/10.1016/..

1-15

Mehr Literatur finden