Old Web
English
Sign In
Acemap
>
authorDetail
>
Luis Manuel Aguirre Garcia
Luis Manuel Aguirre Garcia
Soundness
Axiom
Equational logic
Modulo
Mathematics
2
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Strategies in Conditional Narrowing Modulo SMT Plus Axioms
2021
Luis Manuel Aguirre Garcia
Narciso Martí Oliet
Miguel Palomino
Isabel Pita Andreu
Show All
Source
Cite
Save
Citations (0)
1