Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

Collection : Maastricht University Research Publications

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Semantics, Specification Logic, And Hoare Logic Of Exact Real Computation

Authors : Park, Sewon; Brausse, Franz; Collins, Pieter

Subjects: Computable Analysis; Reliable Numerics; Imperative Programming

Source: Park, S, Brausse, F, Collins, P, Kim, S, Konecny, M, Lee, G, Mueller, N, Neumann, E, Preining, N & Ziegler, M 2024, 'Semantics, Specification Logic, And Hoare Logic Of Exact

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

On refinements of subgame perfect ϵ-equilibrium

Authors : Flesch, Janos; Predtetchinski, Arkadi

Subjects: Perfect information games; Subgame perfect equilibria; Discontinuous games

Source: Flesch , J & Predtetchinski , A 2016 , ' On refinements of subgame perfect ϵ-equilibrium ' , International Journal of Game Theory , vol. 45 , no. 3 , pp. 523-542 .

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي