Parameterized Compilation

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
Compilation
 
Project Title (de) Projekttitel (de)
Parameterized Compilation
 
Project Title (en) Projekttitel (en)
Parameterized Compilation
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer
P 26200-N23
 

Publications


Filter:
Author:  Bova, Simone

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bova, Simone ; Ganian, Robert ; Szeider, Stefan Model Checking Existential Logic on Partially Ordered SetsKonferenzbeitrag Inproceedings 2014
2Bova, Simone ; Ganian, Robert ; Szeider, Stefan Quantified Conjunctive Queries on Partially Ordered SetsKonferenzbeitrag Inproceedings 2014
3Bova, Simone ; Chen, Hubie The Complexity of Width Minimization for Existential Positive QueriesKonferenzbeitrag Inproceedings 2014