Open AccessModeling arithmetic in the first-order language enriched with temporal quantifiers
Author(s) -
Ekaterina Kotikova,
Mikhail Rybakov
Publication year - 2016
Publication title -
herald of tver state university series applied mathematics
Language(s) - English
Resource type - Journals
ISSN - 1995-0136
DOI - 10.26456/vtpmk25
Subject(s) - arithmetic , computer science , order (exchange) , mathematics , linguistics , philosophy , economics , 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