Faculteit Wiskunde & Informatica

Onderzoeksoutput 1950 2020

Filter
Dissertatie 3 (Onderzoek TU/e / Promotie NIET TU/e)
1989

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)Academic

Open Access
Bestand
2005

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)Academic

Open Access
Bestand
Imperfect
Logic
Foundations of Mathematics
Mathematics
Independence-friendly Logic