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 × France
1 × United Kingdom
Collaborated with:
S.Boldo N.Bjørner
Talks about:
polynomi (1) explicit (1) provabl (1) absolut (1) faith (1) evalu (1) unif (1)

Person: César Muñoz

DBLP DBLP: Mu=ntilde=oz:C=eacute=sar

Contributed to:

SAC 20062006
RTA 20002000

Wrote 2 papers:

SAC-2006-BoldoM #evaluation
Provably faithful evaluation of polynomials (SB, CM), pp. 1328–1332.
RTA-2000-BjornerM #unification
Absolute Explicit Unification (NB, CM), pp. 31–46.

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.