Strong equivalence of RASP programs

Costantini S.

•

Formisano A.

•

Pearce D.

2012

book part

DOI

10.1007/978-3-642-30743-0_11

Archivio

http://hdl.handle.net/11390/1193591

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84864259769

Diritti

metadata only access

Scopus© citazioni

2

Data di acquisizione
Jun 2, 2022

Visualizzazioni

1

Data di acquisizione
Apr 19, 2024