Bernhard König

According to our database, Bernhard König authored at least 9 papers between 2003 and 2012.

Collaborative distances:

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

2012

Kurepa trees and Namba forcing.

Bernhard König, Yasuo Yoshinobu

J. Symb. Log., 2012

2011

Winning strategies in club games and their applications.

Bernhard König

Math. Log. Q., 2011

2007

Forcing indestructibility of set-theoretic axioms.

Bernhard König

J. Symb. Log., 2007

2006

Dense subtrees in complete Boolean algebras.

Bernhard König

Math. Log. Q., 2006

2004

Fragments of Martin's Maximum in generic extensions.

Bernhard König, Yasuo Yoshinobu

Math. Log. Q., 2004

Generic compactness reformulated.

Bernhard König

Arch. Math. Log., 2004

2003

Verifying a Behavioural Logic for Graph Transformation Systems.

Paolo Baldan, Andrea Corradini, Barbara König, Bernhard König

Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

Local coherence.

Bernhard König

Ann. Pure Appl. Log., 2003

A Logic for Analyzing Abstractions of Graph Transformation Systems.

Paolo Baldan, Barbara König, Bernhard König

Proceedings of the Static Analysis, 10th International Symposium, 2003