Have a personal or library account? Click to login
Definition of Flat Poset and Existence Theorems for Recursive Call Cover

Definition of Flat Poset and Existence Theorems for Recursive Call

Formalized Mathematics
Volume 22 (2014): Issue 1 (March 2014)
By: Kazuhisa Ishida,  Yasunari Shidama and  Adam Grabowski  
Open Access
|Mar 2014

Metrics

DOI: https://doi.org/10.2478/forma-2014-0001 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 1 - 10
Published on: Mar 30, 2014
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
flat posets,
recursive calls for posets,
flattening operator
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other

© 2014 Kazuhisa Ishida, Yasunari Shidama, Adam Grabowski, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Volume 22 (2014): Issue 1 (March 2014)Next article