BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
Collaborated with:
N.Martí-Oliet M.Palomino I.Pita
Talks about:
narrow (2) modulo (2) condit (2) rewrit (1) logic (1) axiom (1) maud (1) smt (1)

Person: Luis Aguirre

DBLP DBLP: Aguirre:Luis

Contributed to:

WRLA 20142014
PPDP 20172017

Wrote 2 papers:

WRLA-2014-AguirreMPP #logic #maude
Conditional Narrowing Modulo in Rewriting Logic and Maude (LA, NMO, MP, IP), pp. 80–96.
PPDP-2017-AguirreMPP #axiom #smt
Conditional narrowing modulo SMT and axioms (LA, NMO, MP, IP), pp. 17–28.

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.