Intuitionism and computing with partial information

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ganchev, Hristo, Shafer, Paul, Slaman, Theodore A., Sorbi, Andrea, Soskova, Mariya I.
Format:	Preprint
Published:	2026
Subjects:	Logic 03B20, 03D30, 03G10, 06D20
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2605.20841