2024-03-29T02:04:58Z
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
Article
Formalized Mathematics. 22(1): 1-10 (2014)
journal article
De Gruyter Open
2014-03
application/pdf
Formalized Mathematics
1
22
1
10
1898-9934
https://soar-ir.repo.nii.ac.jp/record/18381/files/[Formalized Mathematics] Definition of Flat Poset and Existence Theorems for Recursive Call.pdf
eng
10.2478/forma-2014-0001
https://doi.org/10.2478/forma-2014-0001
© 2014 University of Białystok by Kazuhisa Ishida. CC-BY-SA License ver. 3.0 or later