Iterated trees and fragments of arithmetic
10.1007/BF01270390
Saved in:
Main Author: | Yang, Y. |
---|---|
Other Authors: | MATHEMATICS |
Format: | Article |
Published: |
2014
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/103449 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
The minimal e-degree problem in fragments of Peano arithmetic
by: Arslanov, M.M., et al.
Published: (2014) -
Iterative truncated arithmetic mean filter and its properties
by: Jiang, Xudong
Published: (2013) -
A decidable fragment in separation logic with inductive predicates and arithmetic
by: LE, Quang Loc, et al.
Published: (2017) -
Twist-Rotation Transformations of Binary Trees and Arithmetic Expressions
by: Li, M., et al.
Published: (2014) -
Further properties and a fast realization of the iterative truncated arithmetic mean filter
by: Miao, Zhenwei, et al.
Published: (2013)