Community Research and Development Information Service - CORDIS

Duality For Logic On Words

From 2016-01-01 to 2018-12-31, ongoing project | DFLOW Website

Project details

Total cost:

EUR 242 929,80

EU contribution:

EUR 242 929,80

Coordinated in:

Netherlands

Call for proposal:

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

Funding scheme:

MSCA-IF-GF - Global Fellowships

Objective

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. 

Coordinator

UNIVERSITEIT VAN AMSTERDAM
Netherlands

EU contribution: EUR 242 929,80


SPUI 21
1012WX AMSTERDAM
Netherlands
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
Activity type: Higher or Secondary Education Establishments

Contact the organisation

Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top