Luis Aguirre

Orcid: 0000-0001-5119-8262

Affiliations:

Universidad Complutense de Madrid, Madrid, Spain

According to our database¹, Luis Aguirre authored at least 4 papers between 2014 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Strategies in Conditional Narrowing Modulo SMT Plus Axioms.

[BibT_eX]

[DOI]

Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2018

Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude.

[BibT_eX]

[DOI]

J. Autom. Reason., 2018

2017

Conditional narrowing modulo SMT and axioms.

[BibT_eX]

[DOI]

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

2014

Conditional Narrowing Modulo in Rewriting Logic and Maude.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014

Luis Aguirre

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...