Bernhard König

According to our database1, Bernhard König authored at least 10 papers between 2003 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
More on setwise climbability properties.
Ann. Pure Appl. Log., 2026

2012
Kurepa trees and Namba forcing.
J. Symb. Log., 2012

2011
Winning strategies in club games and their applications.
Math. Log. Q., 2011

2007
Forcing indestructibility of set-theoretic axioms.
J. Symb. Log., 2007

2006
Dense subtrees in complete Boolean algebras.
Math. Log. Q., 2006

2004
Fragments of Martin's Maximum in generic extensions.
Math. Log. Q., 2004

Generic compactness reformulated.
Arch. Math. Log., 2004

2003
Verifying a Behavioural Logic for Graph Transformation Systems.
Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

Local coherence.
Ann. Pure Appl. Log., 2003

A Logic for Analyzing Abstractions of Graph Transformation Systems.
Proceedings of the Static Analysis, 10th International Symposium, 2003


  Loading...