Bernd Loescher

According to our database, Bernd Loescher authored at least 2 papers in 1997.

Collaborative distances:

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

1997

One Unary Function Says Less Than Two in Existential Second Order Logic.

Bernd Loescher

Inf. Process. Lett., 1997

Spectra with Only Unary Function Symbols.

Arnaud Durand, Ronald Fagin, Bernd Loescher

Proceedings of the Computer Science Logic, 11th International Workshop, 1997