BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × Norway
1 × Poland
1 × The Netherlands
1 × USA
1 × United Kingdom
Collaborated with:
F.Clerc R.Beauxis Y.Guiraud P.Malbos L.Fajstrup E.Goubault E.Haucourt M.Raußen
Talks about:
system (2) rewrit (2) space (2) dimension (1) techniqu (1) structur (1) standard (1) procedur (1) categori (1) present (1)

Person: Samuel Mimram

DBLP DBLP: Mimram:Samuel

Contributed to:

RTA 20152015
RTA 20132013
ESOP 20122012
CSL 20112011
RTA 20102010
LICS 20092009

Wrote 6 papers:

RTA-2015-ClercM #term rewriting
Presenting a Category Modulo a Rewriting System (FC, SM), pp. 89–105.
RTA-2013-GuiraudMM #monad #topic
A Homotopical Completion Procedure with Applications to Coherence of Monoids (YG, PM, SM), pp. 223–238.
ESOP-2012-FajstrupGHMR #performance #reduction
Trace Spaces: An Efficient New Technique for State-Space Reduction (LF, EG, EH, SM, MR), pp. 274–294.
CSL-2011-BeauxisM #network #semantics #standard
A Non-Standard Semantics for Kahn Networks in Continuous Time (RB, SM), pp. 35–50.
RTA-2010-Mimram #2d #term rewriting
Computing Critical Pairs in 2-Dimensional Rewriting Systems (SM), pp. 227–242.
LICS-2009-Mimram #first-order
The Structure of First-Order Causality (SM), pp. 212–221.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.