Bernhard König

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

	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)

Coauthor Index