On constructivity of galois connections

Ranzato, Francesco

doi:10.1007/978-3-319-73721-8_21

On constructivity of galois connections

Ranzato, Francesco

2018

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno
	
				2018
			
	Titolo del Libro
	
				Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
			
	Rivista su cui è pubblicata l'opera
	
				LECTURE NOTES IN COMPUTER SCIENCE
			
	Titolo convegno
	
				19th International Conference on Verification, Model Checking, and Abstract Interpretation
			
	Codice DOI
	
				https://dx.doi.org/10.1007/978-3-319-73721-8_21
			
	Codice WOS
	
				WOS:000445215800003
			
	Codice Scopus
	
				2-s2.0-85041818147
			
	Codice OpenAlex
	
				W2779234330
			
	Codice ISBN
	
				9783319737201
			
	Appare nelle tipologie:
	
				04.01 - Contributo in atti di convegno

File in questo prodotto:

File	Dimensione	Formato
paper.pdf accesso aperto Tipologia: Accepted (AAM - Author's Accepted Manuscript) Licenza: Accesso gratuito Dimensione 278.53 kB Formato Adobe PDF Visualizza/Apri	278.53 kB	Adobe PDF	Visualizza/Apri