Language and Proofs for Higher-Order SMT (Work in Progress)

Haniel Barbosa, Jasmin Christian Blanchette, Simon Cruanes, Daniel El Ouraoui, Pascal Fontaine

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)15-22
JournalElectronic Proceedings in Theoretical Computer Science
Issue number262
DOIs
Publication statusPublished - 2017

Cite this

Barbosa, Haniel ; Blanchette, Jasmin Christian ; Cruanes, Simon ; El Ouraoui, Daniel ; Fontaine, Pascal. / Language and Proofs for Higher-Order SMT (Work in Progress). In: Electronic Proceedings in Theoretical Computer Science. 2017 ; No. 262. pp. 15-22.
@article{0c46c228576141a3bc3db10eb040a919,
title = "Language and Proofs for Higher-Order SMT (Work in Progress)",
author = "Haniel Barbosa and Blanchette, {Jasmin Christian} and Simon Cruanes and {El Ouraoui}, Daniel and Pascal Fontaine",
year = "2017",
doi = "10.4204/EPTCS.262.3",
language = "English",
pages = "15--22",
journal = "Electronic Proceedings in Theoretical Computer Science",
issn = "2075-2180",
publisher = "Open Publishing Association",
number = "262",

}

Language and Proofs for Higher-Order SMT (Work in Progress). / Barbosa, Haniel; Blanchette, Jasmin Christian; Cruanes, Simon; El Ouraoui, Daniel; Fontaine, Pascal.

In: Electronic Proceedings in Theoretical Computer Science, No. 262, 2017, p. 15-22.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - Language and Proofs for Higher-Order SMT (Work in Progress)

AU - Barbosa, Haniel

AU - Blanchette, Jasmin Christian

AU - Cruanes, Simon

AU - El Ouraoui, Daniel

AU - Fontaine, Pascal

PY - 2017

Y1 - 2017

U2 - 10.4204/EPTCS.262.3

DO - 10.4204/EPTCS.262.3

M3 - Article

SP - 15

EP - 22

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

SN - 2075-2180

IS - 262

ER -