Catalogo dei prodotti della ricerca

Hardware Verification, Boolean Logic Programming, Boolean Functional Programming

Hardware Verification, Boolean Logic Programming, Boolean Functional Programming / Tronci, Enrico. - STAMPA. - (1995), pp. 408-418. (Intervento presentato al convegno Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science tenutosi a San Diego, California, USA nel June 26-29, 1995).

Hardware Verification, Boolean Logic Programming, Boolean Functional Programming

TRONCI, Enrico
1995

Abstract

Hardware Verification, Boolean Logic Programming, Boolean Functional Programming
1995
Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Hardware Verification, Boolean Logic Programming, Boolean Functional Programming / Tronci, Enrico. - STAMPA. - (1995), pp. 408-418. (Intervento presentato al convegno Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science tenutosi a San Diego, California, USA nel June 26-29, 1995).
04b Atto di convegno in volume
File allegati a 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/11573/207474
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 1
social impact