Measuring well quasi-ordered finitary powersets

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Abriola, Sergio, Halfon, Simon, Lopez, Aliaume, Schmitz, Sylvain, Schnoebelen, Philippe, Vialard, Isa
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic in Computer Science Discrete Mathematics 06 F.2.2; G.2
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online

https://arxiv.org/abs/2312.14587