| |
| 2006 | ||
|---|---|---|
| 6 | EE | Bernhard König: Dense subtrees in complete Boolean algebras. Math. Log. Q. 52(3): 283-287 (2006) |
| 2004 | ||
| 5 | EE | Bernhard König: Generic compactness reformulated. Arch. Math. Log. 43(3): 311-326 (2004) |
| 4 | EE | 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 | EE | Bernhard König, Yasuo Yoshinobu: Fragments of Martin's Maximum in generic extensions. Math. Log. Q. 50(3): 297-302 (2004) |
| 2003 | ||
| 2 | EE | Paolo Baldan, Barbara König, Bernhard König: A Logic for Analyzing Abstractions of Graph Transformation Systems. SAS 2003: 255-272 |
| 1 | EE | 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] |