A coinductive treatment of infinitary term rewriting and equational reasoning

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

Algebra-coalgebra duality in Brzozowski's minimization algorithm

Microbial population analysis of nutrient removal-related organism in membrane bioreactors

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

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

Accurate Quantification of Cyanobacterial Toxins by 1H-NMR

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

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