87 Infos zu Berit Grußien

3 Aktuelle Nachrichten

, Berit Grußien, Vortrag zum Thema "Capturing Polynomial Time and Logarithmic Space using Modular Decompositions and Limited ...

Berit Grußien, über: Sergey Yekhanin. Towards 3-query locally decodable codes of subexponential length, STOC ' Frank Habermann, über ...

2  Bilder zu Berit Grußien

2 Profile in Sozialen Netzwerken

Semantic Scholar profile for Berit Grußien, with 2 highly influential citations and 9 scientific research papers.

... Ben van Gameren · Berit Grußien · Berk Gökberk · Bernardo Cuenca Grau · Bernardo Gonçalves · Bernardo Gurgel · Bernard A. Galler · Bernard Ghanem ...

2 Hobbys & Interessen

Ashley Grayson: 33' 11: 2004: 11: 5. Kristin McNeil: 33' 9.25: 2008: 11: 6. Kegan Strickland: 33' 6: 2003: 11: 7. Berit Grussien: 32' 2: 2000: 11: 8. Bailey Mortensen: 28' 10: 2005: 11

2 Infos zur Ausbildung

LO) [pdf, other]. Title: Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs. Authors: Berit Grußien. Comments: 32 pages, 19 figures.

Übungsgruppenleiter/innen: Jörg Bachmann (Sprechstunde: ), R : Berit Grußien (Sprechstunde: Dienstag Uhr), R

2 Bücher zum Namen

Capturing Polynomial Time and Logarithmic Space Using Modular Decompositions and Limited Recursion. Front Cover. Berit Grußien. Humboldt-Universität zu ...

11 Dokumente

From: Berit Grußien [view email] [via Logical Methods In Computer Science as proxy] [v1] Wed, 28 Feb :52:25 UTC (66 KB)

; . BERIT GRUßIEN, Institut für Informatik, Humboldt-Universität zu Berlin,. Unter den Linden ...

Title:Capturing Polynomial Time using Modular Decomposition. Authors:Berit Grußien · Download PDF. Abstract: The question of whether there ...

InComputer Science Logic 2005, [18] Hubie Chen, V´ıctor Dalmau, and Berit Grußien. Arc consistency and friends. J. Log. Comput., 23(1):87–108,

20 Wissenschaftliche Publikationen

· L-Recursion and a new Logic for Logarithmic Space, Martin Grohe, Berit Grußien, André Hernich, Bastian Laubner.

List of computer science publications by Hubie Chen

Berit Grußien, Berlin; Frederik Harwath, Frankfurt; Niko Haubold, Leipzig; Lucas Heimberg, Frankfurt; Andre Hernich, Berlin ; Martin Huschenbett, Ilmenau;

List of computer science publications by Berit Grußien

5 Allgemeine Veröffentlichungen

Sparse instances of hard problems [Elektronische Ressource] / Holger Dell. Gutachter: Martin Grohe ; Johannes Köbler ; Dieter van Melkebeek : Sparse Instances...

Chen, Víctor Dalmau, Berit Grußien. Download ...

@inproceedings{GroheGHL11, title = {L-Recursion and a new Logic for Logarithmic Space}, author = {Martin Grohe and Berit Grußien and André Hernich and ...

Authors: Martin Grohe, Berit Grußien, André Hernich, Bastian Laubner. Download: http://dx.doi.org LMCS-9(1:11) Other: BibTeX PubZone ...

1 Meinungen & Artikel

…als Paul Graham Übersetzung und Quelle Volker Grabsch Hilfe bei der Übersetzung Tobias Florek, Berit Grußien Schreiben – kurz gefasst Ich denke, es ist viel wichtiger, gut zu schreiben, als den …

37 Webfunde aus dem Netz

Publications by 'Berit Grußien'. Publications; Advised Arc consistency and friendsHubie Chen, Víctor Dalmau, Berit Grußien. logcom, 23(1): ,

by Berit Grußien. texts by Hubie Chen; Victor Dalmau; Berit Grußien. texts ... by Martin Grohe; Berit Grußien; André Hernich; Bastian Laubner. texts ...

Berit Grußien Humboldt-Universität zu Berlin Institut für Informatik Berlin Germany I am a PhD student at Humboldt-University Berlin.

LICS 2017: THIRTY-SECOND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE. PROGRAMINDEXES. Berit Grußien. Organization: HU Berlin ...

CSL 2017: 26TH EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC. PROGRAMINDEXES. Berit Grußien. Organization: HU Berlin. Pages in this Program ...

We extend first-order logic with counting by a new operator that allows it to formalise a limited form of recursion which can be evaluated in logarithmic space.

Berit Grußien. Capturing polynomial time using Modular Decomposition · Details. Discussion Comments: 0. Verification: Author has not verified information.

A natural and established way to restrict the constraint satisfaction problem is to fix the relations that can be used to pose constraints; such a family of...

with Martin Grohe, Berit Grußien, and Bastian Laubner. Logical Methods in Computer Science 9(1), paper 11, Also part of the Special ...

L-Recursion and a new Logic for Logarithmic SpaceMartin Grohe, Berit Grußien, André Hernich, Bastian Laubner. csl 2011: [doi] · Closed world data ...

Wednesdays, -, RUD 26, 0 Thursdays, -, RUD 26, 06 Fridays, -, RUD 2,.0 Mathematics refresher course: Wednesday, -, RUD 26, 06, Berit Grußien Thursday, ...

· Noetherian Quasi-Polish spaces; Berit Grußien. Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs; Udi Boker.

Berit Grußien. from arxiv, 34 pages, 13 figures. We show that the class of chordal claw-free graphs admits LREC=-definable canonization. LREC= is a logic that ...

https://doi.org LICS · http://doi.ieeecomputersociety.org LICS Alternative Article URLs: Authors: Berit Grußien.

Intell., 165(2) : , [5] Hubie Chen, Víctor Dalmau, and Berit Grußien. Arc consistency and friends. J. Log. Comput., 23(1) : , [6] David A. Cohen and ...

by Volker Diels-Grabsch, Berit Grußien and Mario Krell. Projektarbeit im Rahmen der Informatik-Vorlesung „Künstliche Intelligenz“ an der ...

Capturing Polynomial Time and Logarithmic Space using Modular Decompositions and Limited Recursion / Berit Grußien ; Gutachter: Martin Grohe, Nicole ...

Berit Grußien Humboldt-Universität zu Berlin, Work by Grußien was supported by the Deutsche Forschungsgemeinschaft (DFG) within the ...

Hubie Chen, Victor Dalmau, Berit Grußien. Abstract. A natural and established way to restrict the constraint satisfaction problem is to fix the relations ...

Authors: Berit Grußien. Abstract. No Abstract Available. BibTeX. @InProceedings{Gruien-Capturingpolynomial, author = {Berit Grußien}, title = {Capturing ...