Answers on two questions about semi-symmetric designs
β Scribed by Zvonimir Janko; Tran van Trung
- Publisher
- Elsevier Science
- Year
- 1984
- Tongue
- English
- Weight
- 70 KB
- Volume
- 37
- Category
- Article
- ISSN
- 0097-3165
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
## Abstract We answer two questions of Zhu on circular choosability of graphs. We show that the circular list chromatic number of an even cycle is equal to 2 and give an example of a graph for which the infimum in the definition of the circular list chromatic number is not attained. Β© 2008 Wiley Pe
## Abstract __IPV__ is the intuitionistic theory axiomatized by Cook's equational theory __PV__ plus __PIND__ on __NP__βformulas. Two extensions of __IPV__ were introduced by Buss and by Cook and Urquhart by adding __PIND__ for formulas of the form __A__(__x__) β¨ __B__, respectively ¬¬__A__(__x__),