Peter Joseph Schroeder-Heister

1953

• Extensions of logic programming
• Proof theory in computer science
• Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen