| Publication | Date of Publication | Type |
|---|
New constructions of function and set chains
International Journal of Pure and Apllied Mathematics | 2014-06-27 | Paper |
Two cases of reconstruction of separable graphs
International Journal of Pure and Apllied Mathematics | 2014-04-30 | Paper |
Propositional representation of arithmetic proofs (preliminary version)
Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 | 2014-03-14 | Paper |
| scientific article; zbMATH DE number 6133124 (Why is no real title available?) | 2013-01-31 | Paper |
Improved results in scheme theory
International Journal of Pure and Applied Mathematics | 2012-09-11 | Paper |
| A lower bound on the Mahlo rank of a weakly compact cardinal | 2011-06-03 | Paper |
| scientific article; zbMATH DE number 5903634 (Why is no real title available?) | 2011-06-03 | Paper |
| scientific article; zbMATH DE number 5896031 (Why is no real title available?) | 2011-05-18 | Paper |
| A simple model for genetic algorithm convergence | 2010-10-19 | Paper |
| A computer search for \(N_{1L}\) configurations | 2009-07-06 | Paper |
| Configuration in binary linear codes | 2008-10-20 | Paper |
| scientific article; zbMATH DE number 2188548 (Why is no real title available?) | 2005-07-26 | Paper |
| scientific article; zbMATH DE number 2069404 (Why is no real title available?) | 2004-05-27 | Paper |
| scientific article; zbMATH DE number 1548173 (Why is no real title available?) | 2001-05-20 | Paper |
Some topological properties of star connected cycles
Information Processing Letters | 1997-02-27 | Paper |
Embedding an arbitrary binary tree into the star graph
IEEE Transactions on Computers | 1996-01-01 | Paper |
Higher type categories
Mathematical Logic Quarterly | 1994-11-20 | Paper |
Remarks on Levy's reflection axiom
Mathematical Logic Quarterly | 1994-08-31 | Paper |
Generic oracles, uniform machines, and codes
Information and Computation | 1992-06-28 | Paper |
An Integer Program for Codes
SIAM Journal on Discrete Mathematics | 1991-01-01 | Paper |
Erratum: An Interger Program for Codes
SIAM Journal on Discrete Mathematics | 1991-01-01 | Paper |
The periodic balanced sorting network
Journal of the ACM | 1989-01-01 | Paper |
An Extension of the Lebesgue Measure Pertaining to the Repeated Experiment
Mathematical Logic Quarterly | 1989-01-01 | Paper |
Questions Related to the Erdös-Turan Conjecture
SIAM Journal on Discrete Mathematics | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4065001 (Why is no real title available?) | 1987-01-01 | Paper |
On the Structure of Armstrong Relations for Functional Dependencies
Journal of the ACM | 1984-01-01 | Paper |
