Michael Seyfried

Learn More
The purpose of the paper is to present the Logics Workbench, an interactive system aiming to facilitate the access to logical formalisms for nonspecialists as well as specialists. It is an integrated system which provides a library of the most important propositional calculi and many algorithms in this area. Special emphasis is put on a clear design of the(More)
The native polysaccharide of cashew-nut tree gum exudate (CNTG) and its arabinogalactan-protein component (CNTG-AGP) were tested by using immuno-stimulant and anti-inflammatory in vitro assays of murine peritoneal macrophage activities. In the assay for immuno-stimulant activity (without previous treatment with lipopolysaccharide; LPS), CNTG increased the(More)
  • 1