author-photo

Javier Álvez

Complutense University of Madrid

1

Papers

0

Citations

Citation Trend

Filter By

Papers (1) Sort By

Journal Conference Others

A complete axiomatization of strict equality

2010 FLOPS | International Symposium on Functional and Logic Programming
- Javier Álvez
- Francisco Javier López-Fraguas
Show All
- Source
- Cite
- Save
Citations (0)