First-order Logic with Connectivity Operators von Schirrmacher, Nicole, Siebertz, Sebastian, Vigny, Alexandre

Volltext

First-Order Logic with Connectivity Operators von Schirrmacher, Nicole, Siebertz, Sebastian, Vigny, Alexandre

Volltext bestellen

Algorithms and data structures for first-order logic with connectivity under vertex failures von Pilipczuk, Michał, Schirrmacher, Nicole, Siebertz, Sebastian, Toruńczyk, Szymon, Vigny, Alexandre

Volltext bestellen

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes von Schirrmacher, Nicole, Siebertz, Sebastian, Stamoulis, Giannos, Thilikos, Dimitrios M, Vigny, Alexandre

Volltext bestellen

First-Order Logic with Connectivity Operators von Schirrmacher, Nicole, Siebertz, Sebastian, Vigny, Alexandre

Volltext

Algorithms and data structures for first-order logic with connectivity under vertex failures von Pilipczuk, Michał, Schirrmacher, Nicole, Siebertz, Sebastian, Toruńczyk, Szymon, Vigny, Alexandre

Volltext

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes von Schirrmacher, Nicole, Siebertz, Sebastian, Stamoulis, Giannos, Thilikos, Dimitrios M, Vigny, Alexandre

Volltext

Newcastle disease virus-infected intact autologous tumor cell vaccine for adjuvant active specific immunotherapy of resected colorectal carcinoma von OCKERT, D, SCHIRRMACHER, V, BECK, N, STOELBEN, E, AHLERT, T, FLECHTENMACHER, J, HAGMÜLLER, E, BUCHCIK, R, NAGEL, M, SAEGER, H.-D

Volltext