IRIS

A Constructive Picture of Noetherian Conditions and Well Quasi-orders / Buriola, G.; Schuster, P.; Blechschmidt, I.. - 13967 LNCS:(2023), pp. 50-62. (Intervento presentato al convegno CiE tenutosi a Batumi, Georgia nel 24 - 28 luglio 2023) [10.1007/978-3-031-36978-0_5].

A Constructive Picture of Noetherian Conditions and Well Quasi-orders

Buriola G.
Primo
;
2023-01-01
2023
Unity of Logic and Computation
Switzerland
Springer Nature
9783031369773
9783031369780
2-s2.0-85172417033
Buriola, G.; Schuster, P.; Blechschmidt, I.
A Constructive Picture of Noetherian Conditions and Well Quasi-orders / Buriola, G.; Schuster, P.; Blechschmidt, I.. - 13967 LNCS:(2023), pp. 50-62. (Intervento presentato al convegno CiE tenutosi a Batumi, Georgia nel 24 - 28 luglio 2023) [10.1007/978-3-031-36978-0_5].
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/11572/407792
 Attenzione

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

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