2024-03-28T08:22:16Z
https://soar-ir.repo.nii.ac.jp/oai
oai:soar-ir.repo.nii.ac.jp:00018381
2022-12-14T04:30:54Z
1221:1222
Definition of Flat Poset and Existence Theorems for Recursive Call
Ishida, Kazuhisa
Shidama, Yasunari
Grabowski, Adam
© 2014 University of Białystok by Kazuhisa Ishida. CC-BY-SA License ver. 3.0 or later
Article
Formalized Mathematics. 22(1): 1-10 (2014)
De Gruyter Open
2014-03
eng
journal article
VoR
http://hdl.handle.net/10091/00019143
https://soar-ir.repo.nii.ac.jp/records/18381
https://doi.org/10.2478/forma-2014-0001
10.2478/forma-2014-0001
1898-9934
Formalized Mathematics
22
1
1
10
https://soar-ir.repo.nii.ac.jp/record/18381/files/[Formalized Mathematics] Definition of Flat Poset and Existence Theorems for Recursive Call.pdf
application/pdf
269.6 kB
2016-09-14