Thomas Hillenbrand

Learn More
Integrating microalgae systems (MAS) at municipal wastewater treatment plants (WWTPs) to produce of bioenergy offers many potential synergies. Improved energy balances provide a strong incentive for WWTPs to integrate MAS, but it is crucial that WWTPs maintain their barrier function to protect water resources. We perform a prospective analysis of energy and(More)
Spass is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent developments in Spass 3.0, including support for dynamic modal logics, relational logics and expressive description logics, additional renaming and selection strategies, and(More)