A Silva | TU Delft Repository

A coinductive treatment of infinitary term rewriting and equational reasoning (Extended version)

Conference paper (2015) - J Endrullis (author) , Helle Hansen (author) , D Hendriks (author) , A Polonsky (author) , A Silva (author)

Algebra-coalgebra duality in Brzozowski's minimization algorithm

Journal article (2014) - MM Bonsangue (author) , Helle Hansen (author) , F Bonchi (author) , P Panangaden (author) , JJMM Rutten (author) , A Silva (author)

Evaluation of pyrolysis curves for volatile elements in aqueous stnadards and carbon-containing matrices in electrothermal vaporization inductively coupled plasma mass spectrometry

Journal article (2008) - A Silva (author) , B Welz (author) , M.T.C. Loos-Vollebregt (author)

Evaluation of pyrolysis curves for volatile elements in aqueous standards and carbon-containing matrices in electrothermal vaporization inductively coupled plasma mass spectrometry

Journal article (2008) - A Silva (author) , B Welz (author) , M.T.C. Loos-Vollebregt (author)

Accurate Quantification of Cyanobacterial Toxins by 1H-NMR

Poster (2007) - J Schripsema (author) , A Silva (author) , PDE Verhaert (author) , D Dagnino (author)

Engineering, colonial empire and European power: the cases of Portugal and the Netherlands

Conference paper (2006) - Wim Ravesteyn (author) , M P Diogo (author) , A Silva (author)

INAA keeping pace with analytical quality in the certification of reference materials

Journal article (1999) - EA De Nadai Fernandes (author) , A Silva (author) , VML Poncano (author) , M Saiki (author) , Peter Bode (author) , RR Greenberg (author) , D Becker (author)