| Publication | Date of Publication | Type |
|---|
Polynomal-size Frege proofs of Bollobás' theorem on the trace of sets
Proceedings of the Japan Academy. Series A | 2009-01-13 | Paper |
The optimality of a certain purely recursive dissection for a sequentially \(n\)-divisible square
Computational Geometry | 2003-04-28 | Paper |
| scientific article; zbMATH DE number 1786498 (Why is no real title available?) | 2002-08-21 | Paper |
| scientific article; zbMATH DE number 1775494 (Why is no real title available?) | 2002-08-04 | Paper |
| scientific article; zbMATH DE number 1775536 (Why is no real title available?) | 2002-08-04 | Paper |
| scientific article; zbMATH DE number 1372676 (Why is no real title available?) | 1999-12-01 | Paper |
A map from the lower-half of the \(n\)-cube onto the \((n-1)\)-cube which preserves intersecting antichains
Discrete Applied Mathematics | 1999-11-23 | Paper |
| scientific article; zbMATH DE number 991161 (Why is no real title available?) | 1997-08-10 | Paper |
Semirigid sets of diamond orders
Discrete Mathematics | 1996-10-07 | Paper |
The number of orthogonal permutations
European Journal of Combinatorics | 1995-12-18 | Paper |
| scientific article; zbMATH DE number 40780 (Why is no real title available?) | 1992-08-13 | Paper |
| scientific article; zbMATH DE number 3745099 (Why is no real title available?) | 1981-01-01 | Paper |
A note on the complexity of approximative evaluation of polynomials
Information Processing Letters | 1979-01-01 | Paper |
Sorting using networks of deques
Journal of Computer and System Sciences | 1979-01-01 | Paper |
Equivalence problem of non-deterministic finite automata
Journal of Computer and System Sciences | 1979-01-01 | Paper |
Corrigenda: A Completeness Criterion for Spectra
SIAM Journal on Computing | 1979-01-01 | Paper |
Practical decomposition of automata
Information and Control | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3609132 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3596258 (Why is no real title available?) | 1977-01-01 | Paper |
A Completeness Criterion for Spectra
SIAM Journal on Computing | 1977-01-01 | Paper |
Hazard analysis of asynchronous circuits in Muller-Bartky's sense
Journal of Computer and System Sciences | 1976-01-01 | Paper |
Two entropies of a generalized sorting problem
Journal of Computer and System Sciences | 1973-01-01 | Paper |
Réalisation des fonctions definies dans un ensemble fini à l'aide des organes élémentairesd'entrée-sortie
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3328164 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3353187 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3267347 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3273532 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3231089 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3331995 (Why is no real title available?) | 1965-01-01 | Paper |
More on integer conversion
Communications of the ACM | 1964-01-01 | Paper |
