يعرض 1 - 10 نتائج من 261 نتيجة بحث عن '"Fernández-Duque, David"', وقت الاستعلام: 1.56s تنقيح النتائج
  1. 1
    تقرير
    A tree rewriting system for the Reflection Calculus

    المؤلفون: Santiago-Fernández, Sofía, Joosten, Joost J., Fernández-Duque, David

    مصطلحات موضوعية: Mathematics - Logic

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

    أضف إلى المفضلة
  2. 2
    تقرير
    Logics of polyhedral reachability

    المؤلفون: Bezhanishvili, Nick, Bussi, Laura, Ciancia, Vincenzo, Fernández-Duque, David, Gabelaia, David

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B45 (Primary) 03B70 (Secondary), F.4

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

    أضف إلى المفضلة
  3. 3
    تقرير
    Constructive S4 modal logics with the finite birelational frame property

    المؤلفون: Balbiani, Philippe, Diéguez, Martín, Fernández-Duque, David, McLean, Brett

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

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

    أضف إلى المفضلة
  4. 4
    دورية أكاديمية
    A WALK WITH GOODSTEIN

    المؤلفون: FERNÁNDEZ-DUQUE, DAVID, WEIERMANN, ANDREAS

    المصدر: The Bulletin of Symbolic Logic, 2024 Mar 01. 30(1), 1-19.

    URL الوصول: https://www.jstor.org/stable/27294832

    أضف إلى المفضلة
  5. 5
    تقرير
    G\'odel-Dummett linear temporal logic

    المؤلفون: Aguilera, Juan Pablo, Diéguez, Martín, Fernández-Duque, David, McLean, Brett

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Computational Complexity

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

    أضف إلى المفضلة
  6. 6
    تقرير
    The universal tangle for spatial reasoning

    المؤلفون: Fernández-Duque, David, Papafilippou, Konstantinos

    مصطلحات موضوعية: Mathematics - Logic, 03B45 (Primary) 03B70 (Secondary), F.4.1, I.2.4

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

    أضف إلى المفضلة
  7. 7
    تقرير
    Metric fixed point theory and partial impredicativity

    المؤلفون: Fernández-Duque, David, Shafer, Paul, Towsner, Henry, Yokoyama, Keita

    مصطلحات موضوعية: Mathematics - Logic

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

    أضف إلى المفضلة
  8. 8
    تقرير
    Dynamic Tangled Derivative Logic of Metric Spaces

    المؤلفون: Fernández-Duque, David, Montacute, Yoàv

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

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

    أضف إلى المفضلة
  9. 9
    تقرير
    A G\'odel Calculus for Linear Temporal Logic

    المؤلفون: Aguilera, Juan Pablo, Diéguez, Martín, Fernández-Duque, David, McLean, Brett

    المصدر: Principles of Knowledge Representation and Reasoning, Proceedings of the 19th International Conference (August 2022) 2-11

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

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

    أضف إلى المفضلة
  10. 10
    تقرير
    Time and G\'odel: Fuzzy temporal reasoning in PSPACE

    المؤلفون: Aguilera, Juan Pablo, Diéguez, Martín, Fernández-Duque, David, McLean, Brett

    المصدر: Workshop on Logic, Language, Information, and Computation (WoLLIC), proceedings of the 28th International Workshop (September 2022), pp. 18-35

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

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

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء