Bicocca Open Archive

Logo unimib boa

Aıt-Kaci, H., Pasi, G. (2017). Lattice Operations on Terms over Similar Signatures. Intervento presentato a: International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017),, Namur, Belgium.

Lattice Operations on Terms over Similar Signatures

Pasi, G
2017
slide + paper
Fuzzy Unification
English
International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017),
2017
2017
none
Aıt-Kaci, H., Pasi, G. (2017). Lattice Operations on Terms over Similar Signatures. Intervento presentato a: International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017),, Namur, Belgium.
02 - Intervento a convegno
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/188130
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
Social impact