Florian Starke - Wissenschaftliche Veröffentlichungen

(1 - 13 von 15

)

Alle Infos zum Namen "Florian Starke"

Journal of Computer and System Sciences | Vol 118, Pages

www.sciencedirect.com

Henrik Björklund, Frank Drewes, Petter Ericson, Florian Starke. Pages 1-27: Download PDF. Article preview. select article Minimizing the operation cost of ... › vol

dblp: Florian Starke

dblp.uni-trier.de

List of computer science publications by Florian Starke

The Smallest Hard Trees

tu-dresden.de

The Smallest Hard Trees Florian Starke joint work with Manuel Bodirsky, Jakub Bul n, and Michael Wernthaler

Florian Starke - dblpdblp.org › Persons

dblp.org

· Henrik Björklund, Frank Drewes, Petter Ericson, Florian Starke: Uniform parsing for hyperedge replacement grammars. J. Comput. Syst. Sci.

ASNP: a tame fragment of existential second-order logic

lat.inf.tu-dresden.de

Manuel Bodirsky, Simon Kn auer, Florian Starke Institute of Algebra, TU Dresden Abstract. Amalgamation SNP (ASNP) is a fragment of existential second-order logic that strictly contains …

Frank Drewes - DBLP

dblp.org

Henrik Björklund, Frank Drewes, Petter Ericson , Florian Starke : Uniform parsing for hyperedge replacement grammars. J. Comput. Syst. Sci. › ... › Frank Drewes

The Smallest Hard Trees | TU Dresden

fis.tu-dresden.de

Florian Starke - , Chair of Algebra and Discrete Structures, Institute of Algebra (Author) Michael Wernthaler - (Author) Abstract. We find an orientation of a tree with 20 vertices such that the …

Manuel Bodirsky - DBLPdblp.org › Persons

dblp.org

vor 7 Tagen · Manuel Bodirsky, Florian Starke , Albert Vucaj: Smooth digraphs modulo primitive positive constructability and cyclic loop conditions.

Contact — Institute of Algebra — TU Dresden

tu-dresden.de

Aug 19, · Visitor Address: Willersbau, Room C , Dresden (Location Campus Navigator)

BibTeX records: Manuel Bodirsky - DBLP

dblp.org

— @article{DBLP:journals/corr/abs , author = {Manuel Bodirsky and Jakub Bul{\'{\i}}n and Florian Starke and Michael Wernthaler}, ... › pid › ManuelBod...

The return of the smooth digraphs (modulo pp-constructability)

vorsystem.tu-dresden.de

Deﬁnitions Examples h1-identity: f x1,:::,xn g y1,:::,ym (xi,yj not necessarily distinct) h1: f x,f x,y,z g not h1: fx,x x,fx,y ,z y,z h1-condition: ﬁnite set of h1-identities fx,x,y y,x,x y,y,y ~fA A …

Kontakt — Institut für Algebra — TU Dresden

tu-dresden.de

Besucheradresse: Willersbau, Room C , Dresden (Lage Campus Navigator)

Home — Institute of Algebra — TU Dresden

tu-dresden.de

Since October I am a PhD student at TU Dresden. My supervisor is Prof. Dr. Manuel Bodirsky. I am exploring the world of model theory. More...

Verwandte Suchanfragen zu Florian Starke

Henrik Björklund
Michael Wernthaler
Raphael Isemann

Paul Jungeblut

Person "Starke" (17)
Vorname "Florian" (37292)
Name "Starke" (1000)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wissenschaftliche Veröffentlichungen Florian Starke