CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.
Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .
Publikacje
Autorzy:
Matthieu Sozeau, Abhishek Anand, Simon Boulier, Cyril Cohen, Yannick Forster, Fabian Kunze, Gregory Malecha, Nicolas Tabareau, Théo Winterhalter
Opublikowane w:
Journal of Automated Reasoning, Numer 64/5, 2020, Strona(/y) 947-999, ISSN 0168-7433
Wydawca:
Kluwer Academic Publishers
DOI:
10.1007/s10817-019-09540-0
Autorzy:
Simon Boulier, Nicolas Tabareau
Opublikowane w:
Mathematical Structures in Computer Science, 2020, Strona(/y) 1-32, ISSN 0960-1295
Wydawca:
Cambridge University Press
DOI:
10.1017/s0960129520000213
Autorzy:
PIERRE-ÉVARISTE DAGAND, NICOLAS TABAREAU, ÉRIC TANTER
Opublikowane w:
Journal of Functional Programming, Numer 28, 2018, ISSN 0956-7968
Wydawca:
Cambridge University Press
DOI:
10.1017/S0956796818000011
Autorzy:
Kevin Quirin and Nicolas Tabareau
Opublikowane w:
Journal of Formalized Reasoning, 2016, ISSN 1972-5787
Wydawca:
Alma Mater Studiorum (Bologna)
DOI:
10.6092/issn.1972-5787/6232
Autorzy:
Benedikt Ahrens, Ralph Matthes, Anders Mörtberg
Opublikowane w:
Journal of Automated Reasoning, Numer 63/2, 2019, Strona(/y) 285-318, ISSN 0168-7433
Wydawca:
Kluwer Academic Publishers
DOI:
10.1007/s10817-018-9474-4
Autorzy:
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 4/POPL, 2020, Strona(/y) 1-29, ISSN 2475-1421
Wydawca:
PACMPL
DOI:
10.1145/3371099
Autorzy:
Gaëtan Gilbert, Jesper Cockx, Matthieu Sozeau, Nicolas Tabareau
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 3/POPL, 2019, Strona(/y) 1-28, ISSN 2475-1421
Wydawca:
PACMPL
DOI:
10.1145/3290316
Autorzy:
Nicolas Tabareau, Éric Tanter, Matthieu Sozeau
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 2/ICFP, 2018, Strona(/y) 1-29, ISSN 2475-1421
Wydawca:
PACMPL
DOI:
10.1145/3236787
Autorzy:
Pierre-Marie Pédrot, Nicolas Tabareau, Hans Jacob Fehrmann, Éric Tanter
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 3/ICFP, 2019, Strona(/y) 1-29, ISSN 2475-1421
Wydawca:
PACMPL
DOI:
10.1145/3341712
Autorzy:
M. Anel, G. Biedermann, E. Finster, A. Joyal
Opublikowane w:
Journal of Topology, Numer 11/4, 2018, Strona(/y) 1100-1132, ISSN 1753-8416
Wydawca:
Oxford University Press
DOI:
10.1112/topo.12082
Autorzy:
Matthieu Sozeau, Cyprien Mangin
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 3/ICFP, 2019, Strona(/y) 1-29, ISSN 2475-1421
Wydawca:
PACMPL
DOI:
10.1145/3341690
Autorzy:
Martin Elsman, Troels Henriksen, Danil Annenkov, Cosmin E. Oancea
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 2/ICFP, 2018, Strona(/y) 1-30, ISSN 2475-1421
Wydawca:
PACMPL
DOI:
10.1145/3236792
Autorzy:
Ahrens, Benedikt; Hirschowitz, André; Lafont, Ambroise; Maggesi, Marco
Opublikowane w:
"FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. pp.1-16, ⟨10.4230/LIPIcs.FSCD.2019.6⟩", Numer 3, 2019, ISBN 978-3-95977-107-8
Wydawca:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.fscd.2019.6
Autorzy:
Pierre-Marie Pedrot, Nicolas Tabareau
Opublikowane w:
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Strona(/y) 1-12, ISBN 978-1-5090-3018-7
Wydawca:
IEEE
DOI:
10.1109/LICS.2017.8005113
Autorzy:
Ahrens, Benedikt; Lumsdaine, Peter LeFanu
Opublikowane w:
https://hal.inria.fr/hal-01584770, Numer 7, 2017
Wydawca:
ACM
DOI:
10.4230/LIPIcs.FSCD.2017.5
Autorzy:
Ahrens, Benedikt; Lumsdaine, Peter LeFanu; Voevodsky, Vladimir
Opublikowane w:
26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Numer 6, 2017
Wydawca:
EACSL
DOI:
10.4230/LIPIcs.CSL.2017.8
Autorzy:
Guilhem Jaber, Gabriel Lewertowski, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau
Opublikowane w:
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Strona(/y) 367-376, ISBN 9781-450343916
Wydawca:
ACM Press
DOI:
10.1145/2933575.2935320
Autorzy:
Simon Boulier, Pierre-Marie Pédrot, Nicolas Tabareau
Opublikowane w:
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017, 2017, Strona(/y) 182-194, ISBN 9781450347051
Wydawca:
ACM Press
DOI:
10.1145/3018610.3018620
Autorzy:
Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau, Bas Spitters
Opublikowane w:
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017, 2017, Strona(/y) 164-172, ISBN 9781-450347051
Wydawca:
ACM Press
DOI:
10.1145/3018610.3018615
Autorzy:
Gaëtan Gilbert
Opublikowane w:
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017, 2017, Strona(/y) 112-124, ISBN 9781450347051
Wydawca:
ACM Press
DOI:
10.1145/3018610.3018614
Autorzy:
Pierre-Evariste Dagand, Nicolas Tabareau, Éric Tanter
Opublikowane w:
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016, 2016, Strona(/y) 298-310, ISBN 9781-450342193
Wydawca:
ACM Press
DOI:
10.1145/2951913.2951933
Autorzy:
Timany, Amin; Sozeau, Matthieu
Opublikowane w:
FSCD 2018 - 3rd International Conference on Formal Structures for Computation and Deduction, Numer 1, 2018, Strona(/y) 29:1--29:16, ISBN 978-3-95977-077-4
Wydawca:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.FSCD.2018.29
Autorzy:
Ahrens, Benedikt; Hirschowitz, André; Lafont, Ambroise; Maggesi, Marco
Opublikowane w:
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Numer 1, 2018, ISBN 978-3-95977-088-0
Wydawca:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.csl.2018.4
Autorzy:
Danil Annenkov, Martin Elsman
Opublikowane w:
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming - PPDP '18, 2018, Strona(/y) 1-13, ISBN 9781-450364416
Wydawca:
ACM Press
DOI:
10.1145/3236950.3236955
Autorzy:
Pierre Vial
Opublikowane w:
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, 2018, Strona(/y) 899-908, ISBN 9781-450355834
Wydawca:
ACM Press
DOI:
10.1145/3209108.3209133
Autorzy:
Théo Winterhalter, Matthieu Sozeau, Nicolas Tabareau
Opublikowane w:
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019, 2019, Strona(/y) 91-103, ISBN 9781-450362221
Wydawca:
ACM Press
DOI:
10.1145/3293880.3294095
Autorzy:
Ahrens, Benedikt; Matthes, Ralph
Opublikowane w:
"Tarmo Uustalu. 21st International Conference on Types for Proofs and Programs (TYPES 2015), 69, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp.2:1-2:23, 2018, Leibniz International Proceedings in Informatics (LIPIcs), 978-3-95977-030-9. ⟨10.4230/LIPIcs.TYPES.2015.2⟩", Numer 1, 2018, ISBN 978-3-95977-030-9
Wydawca:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.TYPES.2015.2
Autorzy:
Abhishek Anand, Simon Boulier, Cyril Cohen, Matthieu Sozeau, Nicolas Tabareau
Opublikowane w:
Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings, Numer 10895, 2018, Strona(/y) 20-39, ISBN 978-3-319-94820-1
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-94821-8_2
Autorzy:
Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Nicolas Tabareau
Opublikowane w:
Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings, Numer 11825, 2019, Strona(/y) 155-196, ISBN 978-3-030-33635-6
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-33636-3_7
Autorzy:
Pierre-Marie Pédrot, Nicolas Tabareau
Opublikowane w:
Programming Languages and Systems, Numer 10801, 2018, Strona(/y) 245-271, ISBN 978-3-319-89883-4
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-89884-1_9
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników