Faculteit Wiskunde & Informatica

Onderzoeksoutput 1937 2020

Filter
Dissertatie 3 (Onderzoek TU/e / Promotie NIET TU/e)
2005
105 Downloads (Pure)

Game, set, maths : formal investigations into logic with imperfect information

Dechesne, F., 2005, Tilburg: Universiteit van Tilburg. 165 blz.

Onderzoeksoutput: ScriptieDissertatie 3 (Onderzoek TU/e / Promotie NIET TU/e)

Open Access
Bestand
Imperfect
Logic
Foundations of Mathematics
Mathematics
Independence-friendly Logic
1989
20 Downloads (Pure)

Syntax-directed verification of distributed systems

Gerth, R. T., 1989, Utrecht: Utrecht University. 191 blz.

Onderzoeksoutput: ScriptieDissertatie 3 (Onderzoek TU/e / Promotie NIET TU/e)

Open Access
Bestand