1. DSpace-CRIS UAEMEX

http://www.redalyc.org/revista.oa?id=925

View Statistics Email Alert RSS Feed

Primary Data

Project title
http://www.redalyc.org/revista.oa?id=925

Publications
(All)

Refined By:
Subject:  Exact real-number computation

Results 1-1 of 1 (Search time: 0.002 seconds).

Issue DateTitleAuthor(s)
1-Functional first order definability of LRTp