z-logo
open-access-imgOpen Access
Modeling arithmetic in the first-order language enriched with temporal quantifiers
Author(s) -
Ekaterina Kotikova,
Mikhail Rybakov
Publication year - 2016
Publication title -
vestnik tverskogo gosudarstvennogo universiteta. seriâ prikladnaâ matematika
Language(s) - English
Resource type - Journals
ISSN - 1995-0136
DOI - 10.26456/vtpmk25
Subject(s) - arithmetic , computer science , order (exchange) , mathematics , linguistics , programming language , philosophy , finance , economics

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here