Nicolas Behr
Nicolas Behr
Home
Publications
Talks
Jean Krivine
Latest
Fundamentals of Compositional Rewriting Theory
Rewriting theory for the life sciences: A unifying theory of CTMC semantics
Concurrency Theorems for Non-linear Rewriting Theories
Compositionality of Rewriting Rules with Conditions
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics
Cite
×