Ortwin Scheja

List of publications from the DBLP Bibliography Server - FAQ

1999

1 Michael Kohlhase, Ortwin Scheja: Higher Order Multi-Valued Resolution. Journal of Applied Non-Classical Logics 9(4): (1999)

1999
1		Michael Kohlhase, Ortwin Scheja: Higher Order Multi-Valued Resolution. Journal of Applied Non-Classical Logics 9(4): (1999)

Coauthor Index