CNR Institutional Research Information System

Model-theoretic specifications and back-and-forth equivalences

1990
1990
Inglese
H. Ehrig, K. P. Jantke, F. Orejas, H. Reichel
Recent Trends in Data Type Specification
Recent Trends in Data Type Specification
Sì, ma tipo non specificato
17-20 aprile 1990
Wusterhausen/Dosse, Germania,
2
none
Mascari, Gianfranco; Vincenzi, Antonio
273
info:eu-repo/semantics/conferenceObject
04 Contributo in convegno::04.01 Contributo in Atti di convegno
04.01 Contributo in Atti di 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/20.500.14243/219056
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact