المؤلفون: Rebola-Pardo, Adrián

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2307.12098

المؤلفون: Heisinger, Simone^Aff27, Heisinger, Maximilian^Aff27, Rebola-Pardo, Adrian^{Aff27, Aff28}, Seidl, Martina^Aff27

المساهمون: Hartmanis, Juris, Founding Editor^Aff1, van Leeuwen, Jan, Series Editor^Aff2, Hutchison, David, Editorial Board Member^Aff3, Kanade, Takeo, Editorial Board Member^Aff4, Kittler, Josef, Editorial Board Member^Aff5, Kleinberg, Jon M., Editorial Board Member^Aff6, Kobsa, Alfred, Series Editor^Aff7, Mattern, Friedemann, Editorial Board Member^Aff8, Mitchell, John C., Editorial Board Member^Aff9, Naor, Moni, Editorial Board Member^Aff10, Nierstrasz, Oscar, Series Editor^Aff11, Pandu Rangan, C., Editorial Board Member^Aff12, Sudan, Madhu, Series Editor^Aff13, Terzopoulos, Demetri, Editorial Board Member^Aff14, Tygar, Doug, Editorial Board Member^Aff15, Weikum, Gerhard, Series Editor^Aff16, Vardi, Moshe Y, Series Editor^Aff17, Goos, Gerhard, Founding Editor^Aff18, Bertino, Elisa, Editorial Board Member^Aff19, Gao, Wen, Editorial Board Member^Aff20, Steffen, Bernhard, Editorial Board Member^Aff21, Yung, Moti, Editorial Board Member^Aff22, Woeginger, Gerhard, Editorial Board Member^Aff23, Benzmüller, Christoph, editor^Aff24, Heule, Marijn J.H., editor^Aff25, Schmidt, Renate A., editor^Aff26

المصدر: Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I. 14739:325-343

المؤلفون: Rebola-Pardo, Adrian, Cruz-Filipe, Luis

المصدر: 2018 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2018. :1-9 Oct, 2018

Relation: 2018 Formal Methods in Computer Aided Design (FMCAD)

المؤلفون: Pordel, Dana, Petersson, Lars, Namin, Shahin, Rebola-Pardo, Adrian

المصدر: 2015 IEEE Intelligent Vehicles Symposium (IV) Intelligent Vehicles Symposium (IV), 2015 IEEE. :1068-1073 Jun, 2015

Relation: 2015 IEEE Intelligent Vehicles Symposium (IV)

المؤلفون: Kiesl, Benjamin^Aff16, Rebola-Pardo, Adrián^Aff16, Heule, Marijn J. H.^Aff17

المساهمون: Hutchison, David, Series Editor^Aff1, Kanade, Takeo, Series Editor^Aff2, Kittler, Josef, Series Editor^Aff3, Kleinberg, Jon M., Series Editor^Aff4, Mattern, Friedemann, Series Editor^Aff5, Mitchell, John C., Series Editor^Aff6, Naor, Moni, Series Editor^Aff7, Pandu Rangan, C., Series Editor^Aff8, Steffen, Bernhard, Series Editor^Aff9, Terzopoulos, Demetri, Series Editor^Aff10, Tygar, Doug, Series Editor^Aff11, Weikum, Gerhard, Series Editor^Aff12, Galmiche, Didier, editor^Aff13, Schulz, Stephan, editor^Aff14, Sebastiani, Roberto, editor^Aff15

المصدر: Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. 10900:516-531

المؤلفون: Philipp, Tobias^Aff15, Rebola-Pardo, Adrián^Aff16

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Michael, Loizos, editor^Aff13, Kakas, Antonis, editor^Aff14

المصدر: Logics in Artificial Intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings. 10021:415-429

المؤلفون: Rebola Pardo, Adrian

مصطلحات موضوعية: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, SAT solving, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Proof systems, Interference, Interpolation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4c6d59aa045fed27884ac9381853b0b6

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.