How to Get More Out of Your Oracles

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

OriginalsprogEngelsk
TitelProceedings of the 8th International Conference on Interactive Theorem Proving
RedaktørerMauricio Ayala-Rincón, César A. Muñoz
ForlagSpringer
Publikationsdato2017
Sider164-170
ISBN (Trykt)978-3-319-66106-3
ISBN (Elektronisk)978-3-319-66107-0
DOI
StatusUdgivet - 2017
Begivenhed8th International Conference on Interactive Theorem Proving - Brasília, Brasilien
Varighed: 26. sep. 201729. sep. 2017
Konferencens nummer: 8

Konference

Konference8th International Conference on Interactive Theorem Proving
Nummer8
LandBrasilien
ByBrasília
Periode26/09/201729/09/2017
NavnLecture Notes in Computer Science
Vol/bind10499
ISSN0302-9743

Citer dette

Cruz-Filipe, L., Larsen, K. S., & Schneider-Kamp, P. (2017). How to Get More Out of Your Oracles. I M. Ayala-Rincón, & C. A. Muñoz (red.), Proceedings of the 8th International Conference on Interactive Theorem Proving (s. 164-170). Springer. Lecture Notes in Computer Science, Bind. 10499 https://doi.org/10.1007/978-3-319-66107-0_11
Cruz-Filipe, Luís ; Larsen, Kim Skak ; Schneider-Kamp, Peter. / How to Get More Out of Your Oracles. Proceedings of the 8th International Conference on Interactive Theorem Proving. red. / Mauricio Ayala-Rincón ; César A. Muñoz. Springer, 2017. s. 164-170 (Lecture Notes in Computer Science, Bind 10499).
@inproceedings{23f0447bc67e46cf9e8d5619d48c49b6,
title = "How to Get More Out of Your Oracles",
author = "Lu{\'i}s Cruz-Filipe and Larsen, {Kim Skak} and Peter Schneider-Kamp",
year = "2017",
doi = "10.1007/978-3-319-66107-0_11",
language = "English",
isbn = "978-3-319-66106-3",
pages = "164--170",
editor = "Mauricio Ayala-Rinc{\'o}n and Mu{\~n}oz, {C{\'e}sar A.}",
booktitle = "Proceedings of the 8th International Conference on Interactive Theorem Proving",
publisher = "Springer",
address = "Germany",

}

Cruz-Filipe, L, Larsen, KS & Schneider-Kamp, P 2017, How to Get More Out of Your Oracles. i M Ayala-Rincón & CA Muñoz (red), Proceedings of the 8th International Conference on Interactive Theorem Proving. Springer, Lecture Notes in Computer Science, bind 10499, s. 164-170, 8th International Conference on Interactive Theorem Proving, Brasília, Brasilien, 26/09/2017. https://doi.org/10.1007/978-3-319-66107-0_11

How to Get More Out of Your Oracles. / Cruz-Filipe, Luís; Larsen, Kim Skak; Schneider-Kamp, Peter.

Proceedings of the 8th International Conference on Interactive Theorem Proving. red. / Mauricio Ayala-Rincón; César A. Muñoz. Springer, 2017. s. 164-170 (Lecture Notes in Computer Science, Bind 10499).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

TY - GEN

T1 - How to Get More Out of Your Oracles

AU - Cruz-Filipe, Luís

AU - Larsen, Kim Skak

AU - Schneider-Kamp, Peter

PY - 2017

Y1 - 2017

U2 - 10.1007/978-3-319-66107-0_11

DO - 10.1007/978-3-319-66107-0_11

M3 - Article in proceedings

SN - 978-3-319-66106-3

SP - 164

EP - 170

BT - Proceedings of the 8th International Conference on Interactive Theorem Proving

A2 - Ayala-Rincón, Mauricio

A2 - Muñoz, César A.

PB - Springer

ER -

Cruz-Filipe L, Larsen KS, Schneider-Kamp P. How to Get More Out of Your Oracles. I Ayala-Rincón M, Muñoz CA, red., Proceedings of the 8th International Conference on Interactive Theorem Proving. Springer. 2017. s. 164-170. (Lecture Notes in Computer Science, Bind 10499). https://doi.org/10.1007/978-3-319-66107-0_11