Manfred Borzechowski

According to our database1, Manfred Borzechowski authored at least 1 paper in 2025.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof.
CoRR, March, 2025


  Loading...