| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 8 |      | Bernhard König: Winning strategies in club games and their applications. Math. Log. Q. 57(1): 19-26 (2011) |
| 2007 | ||
| 7 | | Bernhard König: Forcing indestructibility of set-theoretic axioms. J. Symb. Log. 72(1): 349-360 (2007) |
| 2006 | ||
| 6 | | Bernhard König: Dense subtrees in complete Boolean algebras. Math. Log. Q. 52(3): 283-287 (2006) |
| 2004 | ||
| 5 | | Bernhard König: Generic compactness reformulated. Arch. Math. Log. 43(3): 311-326 (2004) |
| 4 | | Paolo Baldan, Andrea Corradini, Barbara König, Bernhard König: Verifying a Behavioural Logic for Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 104: 5-24 (2004) |
| 3 | | Bernhard König, Yasuo Yoshinobu: Fragments of Martin's Maximum in generic extensions. Math. Log. Q. 50(3): 297-302 (2004) |
| 2003 | ||
| 2 | | Paolo Baldan, Barbara König, Bernhard König: A Logic for Analyzing Abstractions of Graph Transformation Systems. SAS 2003: 255-272 |
| 1 | | Bernhard König: Local coherence. Ann. Pure Appl. Logic 124(1-3): 107-139 (2003) |
| 1 | Paolo Baldan | [2] [4] |
| 2 | Andrea Corradini | [4] |
| 3 | Barbara König | [2] [4] |
| 4 | Yasuo Yoshinobu | [3] |
Colors in the list of coauthors
Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page