×

Found 260 Documents (Results 1–100)

Constructing a universe for the setoid model. (English) Zbl 07410416

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 1-21 (2021).
MSC:  68Nxx 68Qxx

Filter Results by …

Access

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference