E-LIB Suche - Ergebnisse für: Heimberg, Lucas

1

Complexity of Normal Forms on Structures of Bounded Degree:

Heimberg, Lucas , 2018

Link: https://nbn-resolving.de..

2

Hanf normal form for first-order logic with unary counting ..:

, In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science,

Heimberg, Lucas ; Kuske, Dietrich ; Schweikardt, Nicole - p. 277-286 , 2016

Link: https://dl.acm.org/doi/1..

3

Preservation and decomposition theorems for bounded degree ..:

, In: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Harwath, Frederik ; Heimberg, Lucas ; Schweikardt, Nicole - p. 1-10 , 2014

Link: https://dl.acm.org/doi/1..

4

An Optimal Gaifman Normal Form Construction for Structures ..:

, In: Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science,

Heimberg, Lucas ; Kuske, Dietrich ; Schweikardt, Nicole - p. 63-72 , 2013

Link: https://dl.acm.org/doi/1..

5

An Optimal Construction for the Barthelmann-Schwentick Norm..:

Frochaux, André ; Heimberg, Lucas
http://arxiv.org/abs/1810.12077. , 2018

Link: http://arxiv.org/abs/181..

6

Complexity of Normal Forms on Structures of Bounded Degree:

Heimberg, Lucas
http://edoc.hu-berlin.de/18452/19956. , 2018

Link: http://edoc.hu-berlin.de..

7

Preservation and decomposition theorems for bounded degree ..:

Harwath, Frederik ; Heimberg, Lucas ; Schweikardt, Nicole
http://arxiv.org/abs/1511.05888. , 2015

Link: http://arxiv.org/abs/151..

8

Preservation and decomposition theorems for bounded degree ..:

Harwath, Frederik ; Heimberg, Lucas ; Schweikardt, Nicole
http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/30634. , 2015

Link: http://publikationen.ub...

9

Preservation and decomposition theorems for bounded degree ..:

Frederik Harwath ; Lucas Heimberg ; Nicole Schweikardt
https://lmcs.episciences.org/1618/pdf. , 2015

Link: https://doi.org/10.2168/..

10

Seelenfeuer: Geschichten und Gedichte über das ganz große G..:

Glocker, Alf ; Otera, Ana ; Kubica, Anja... - 1. Auflage, 1., Auflage . , 2012

Link: https://search.ebscohost..

11

Appraisal of Social Concerns: A cognitive assessment instru..:

Telch, Michael J. ; Lucas, Richard A. ; Smits, Jasper A.J....
Depression and Anxiety. 19 (2004) 4 - p. 217-224 , 2004

Link: https://doi.org/10.1002/..

12

Glossolalie 94

, In: ensemble recherche / Rihm ...

für zwei Schauspieler, Flöte, Violine, Viola, Violoncello...

Schnebel, Dieter ; Lind, Stephen ; Fahlenbock, Martin ; Mellinger, Melise.... (2005) 8

Copies: Zentrale/Mediathek: pd 4078-1,C,1,1,2