Ortwin Scheja

According to our database, Ortwin Scheja authored at least 1 paper in 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1999

Higher Order Multi-Valued Resolution.

Michael Kohlhase, Ortwin Scheja

J. Appl. Non Class. Logics, 1999