|
Search the dblp DataBase
Bernhard König:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Paolo Baldan, Barbara König, Bernhard König
A Logic for Analyzing Abstractions of Graph Transformation Systems. [Citation Graph (0, 0)][DBLP] SAS, 2003, pp:255-272 [Conf]
- Bernhard König
Generic compactness reformulated. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2004, v:43, n:3, pp:311-326 [Journal]
- Bernhard König
Local coherence. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2003, v:124, n:1-3, pp:107-139 [Journal]
- Paolo Baldan, Andrea Corradini, Barbara König, Bernhard König
Verifying a Behavioural Logic for Graph Transformation Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:104, n:, pp:5-24 [Journal]
- Bernhard König, Yasuo Yoshinobu
Fragments of Martin's Maximum in generic extensions. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2004, v:50, n:3, pp:297-302 [Journal]
- Bernhard König
Dense subtrees in complete Boolean algebras. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2006, v:52, n:3, pp:283-287 [Journal]
Search in 0.001secs, Finished in 0.001secs
|