Combinatorics, Computability and Logic | Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01) | ISBN 9781447107170

Combinatorics, Computability and Logic

Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01)

herausgegeben von C.S. Calude, M.J. Dinneen und S. Sburlan
Mitwirkende
Herausgegeben vonC.S. Calude
Herausgegeben vonM.J. Dinneen
Herausgegeben vonS. Sburlan
Buchcover Combinatorics, Computability and Logic  | EAN 9781447107170 | ISBN 1-4471-0717-9 | ISBN 978-1-4471-0717-0

Combinatorics, Computability and Logic

Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01)

herausgegeben von C.S. Calude, M.J. Dinneen und S. Sburlan
Mitwirkende
Herausgegeben vonC.S. Calude
Herausgegeben vonM.J. Dinneen
Herausgegeben vonS. Sburlan

Inhaltsverzeichnis

  • Invited papers.
  • Early Computer Science Adventures of a Mathematician.
  • Sequentially Continuity in Constructive Mathematics.
  • Recursive Functions: An Archeological Look.
  • The Number of Graphs and Digraphs with a Fixed Diameter and Connectivity.
  • Contributed papers.
  • Some Results for Some Conjectures in Addition Chains.
  • A Highly Random Number.
  • Dini’s Theorem: A Constructive Case Study.
  • Even Linear Simple Matrix Languages: Formal Language Aspects.
  • Pseudo-BCK Algebras: An Extension of BCK Algebras.
  • P-Immune Sets with Holes Lack Self-Reducibility Properties.
  • Lex Ideals of Generalized MV-Algebras.
  • Armstrong Systems on Ordered Sets.
  • Unicycle Bipartite Graphs with Only Uniquely Restricted Maximum Matchings.
  • On Relax-ability of Word-Order by D-grammars.
  • On the Structure of Linear Cellular Automata.
  • Monotonically Computable Real Numbers.
  • Apartness as a Relation Between Subsets.
  • How Large is the Set of Disjunctive Sequences?.
  • A Loopless Generation of Bitstrings without p Consecutive Ones.
  • Greedy Algorithms for the Lower and Upper Chromatic Numbers.