Next Article in Journal
Q-Rung Probabilistic Dual Hesitant Fuzzy Sets and Their Application in Multi-Attribute Decision-Making
Previous Article in Journal
Ridge Fuzzy Regression Modelling for Solving Multicollinearity
 
 

Order Article Reprints

Journal: Mathematics, 2020
Volume: 8
Number: 1573

Article: Coinductive Natural Semantics for Compiler Verification in Coq
Authors: by Angel Zúñiga and Gemma Bel-Enguix
Link: https://www.mdpi.com/2227-7390/8/9/1573

MDPI offers high quality article reprints with convenient shipping to destinations worldwide. Each reprint features a 270 gsm bright white cover and 105 gsm premium white paper, bound with two stitches for durability and printed in full color. The cover design is customized to your article and designed to be complimentary to the journal.

Order Cost and Details

Shipping Address

Billing Address

Notes or Comments

Validate and Place Order

The order must be prepaid after it is placed

req denotes required fields.
Back to TopTop