Lista publicaţiilor în perioada: 1994-2024, Țările de Jos (Olanda) - 3
Revista: Computer Science Journal of Moldova

2019 - 1

Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers

Bergstra Jan A.

University of Amsterdam

Computer Science Journal of Moldova

Nr. 2(80) / 2019 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 22 September, 2019

-----------------------------------------------------------------------------------------------------------------------------------

2018 - 1

A Short Introduction to Program Algebra with Instructions for Boolean Registers

Bergstra Jan A.

University of Amsterdam

Computer Science Journal of Moldova

Nr. 3(78) / 2018 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 1 December, 2018

-----------------------------------------------------------------------------------------------------------------------------------

2016 - 1

Propositional inquisitive logic: a survey

Ciardelli Ivano

University of Amsterdam

Computer Science Journal of Moldova

Nr. 3(72) / 2016 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 6 December, 2016

-----------------------------------------------------------------------------------------------------------------------------------

10203040501005001000