Open AccessAbout effective versions of game theoretical semantics for first-order logic
Author(s) -
I. Yu. Shevchenko
Publication year - 2019
Publication title -
sibirskie elektronnye matematicheskie izvestiya
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.468
H-Index - 11
ISSN - 1813-3304
DOI - 10.33048/semi.2019.16.040
Subject(s) - game semantics , order (exchange) , computer science , semantics (computer science) , programming language , operational semantics , economics , denotational semantics , finance
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom