Research Output

Filter
Phd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Coalgebraic modelling: Applications in automata theory and modal logic

Hansen, H. H., 2009, Amsterdam: Vrije Universiteit Amsterdam. 194 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

3 Downloads (Pure)

Flexible heterogeneous software systems

Jong, de, H. A., 2007, Amsterdam: Universiteit van Amsterdam. 176 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Integer valued polynomials in algebraic number theory

Zantema, H., 1983, Amsterdam: Universiteit van Amsterdam. 119 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Logics and type systems

Geuvers, J. H., 1993, Nijmegen: Radboud Universiteit Nijmegen. 209 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

On distributed verification and verified distribution

Orzan, S. M., 2004, Amsterdam: Vrije Universiteit Amsterdam.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Open Access

Probabilistic extensions of semantical models

Hartog, den, J. I., 2002, Amsterdam: Vrije Universiteit Amsterdam. 304 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Open Access

Two-photon and radiative production of muon pairs

Luit, E. J., 1987, Amsterdam: Universiteit van Amsterdam. 145 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)