Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

Duality For Logic On Words

Von 2016-01-01 bis 2018-12-31, Laufendes Projekt | DFLOW Website

Projektdetails

Gesamtkosten:

EUR 242 929,80

EU-Beitrag:

EUR 242 929,80

Koordiniert in:

Netherlands

Aufruf zur Vorschlagseinreichung:

H2020-MSCA-IF-2014See other projects for this call

Finanzierungsprogramm:

MSCA-IF-GF - Global Fellowships

Ziel

Deliverables

Deliverables not available

Publications

  • Monadic second order logic as the model companion of temporal logic
    Author(s): Silvio Ghilardi and Samuel J. v. Gool
    Published in: Proceedings of the Thirty first Annual IEEE Symposium on Logic in Computer Science (LICS 2016), 2016. Page(s) 417--426. 

Koordinator

UNIVERSITEIT VAN AMSTERDAM
Netherlands

EU-Beitrag: EUR 242 929,80


SPUI 21
1012WX AMSTERDAM
Netherlands
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

Partner organisations

THE CITY UNIVERSITY OF NEW YORK
United States
41ST STREET 230 WEST 5TH FLOOR
10036 New York
United States
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben