Coverart for item
The Resource Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, (DMTCS '01), C.S. Calude, M.J. Dinneen, and S. Sburlan (eds.)

Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, (DMTCS '01), C.S. Calude, M.J. Dinneen, and S. Sburlan (eds.)

Label
Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, (DMTCS '01)
Title
Combinatorics, computability, and logic
Title remainder
proceedings of the Third International Conference on Combinatorics, Computability, and Logic, (DMTCS '01)
Statement of responsibility
C.S. Calude, M.J. Dinneen, and S. Sburlan (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
NZNB
Dewey number
511.6
Illustrations
illustrations
Index
no index present
LC call number
QA164
LC item number
.D62 2001
Literary form
non fiction
Nature of contents
bibliography
Series statement
Discrete mathematics and theoretical computer science,
Label
Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, (DMTCS '01), C.S. Calude, M.J. Dinneen, and S. Sburlan (eds.)
Instantiates
Publication
Note
C.S. Calude and M.J. Dinneen are at the Dept. of Computer Science, University of Auckland, N.Z
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Contents
  • Some Results for Some Conjectures in Addition Chains
  • Hatem M. Bahig, Mohamed H. El-Zahar and Ken Nakamula
  • A Highly Random Number
  • Veronica Becher, Sergio Daicz and Gregory Chaitin
  • Dini's Theorem: A Constructive Case Study
  • Douglas S. Bridges
  • Even Linear Simple Matrix Languages: Formal Language Aspects
  • Henning Fernau
  • Pseudo-BCK Algebras: An Extension of BCK Algebras
  • George Georgescu and Afrodita Iorgulescu
  • Early Computer Science Adventures of a Mathematician
  • P-Immune Sets with Holes Lack Self-Reducibility Properties
  • Lane A. Hemaspaandra and Harald Hempel
  • Lex Ideals of Generalized MV-Algebras
  • Daniel Hort and Jiri Rachunek
  • Armstrong Systems on Ordered Sets
  • Journi Jarvinen
  • Unicycle Bipartite Graphs with Only Uniquely Restricted Maximum Matchings
  • Vadim E. Levit and Eugen Mandrescu
  • On Relax-ability of Word-Order by D-grammars
  • Martin Platek, Tomas Holan and Vladislav Kubon
  • Frank Harary
  • On the Structure of Linear Cellular Automata
  • Adriana Popovici and Dan Popovici
  • Monotonically Computable Real Numbers
  • Robert Rettinger, Xizhong Zheng and Romain Gengler
  • [et al.]
  • Apartness as a Relation Between Subsets /
  • Sequentially Continuity in Constructive Mathematics
  • Hajime Ishihara
  • Recursive Functions: An Archaeological Look
  • Piergiorgio Odifreddi
  • The Number of Graphs and Digraphs with a Fixed Diameter and Connectivity
  • Ioan Tomescu
  • Peter Schuster, Luminita Vita and Douglas S. Bridges
  • How Large is the Set of Disjunctive Sequences?
  • Ludwig Staiger
  • A Loopless Generation of Bitstrings without p Consecutive Ones
  • Vincent Vajnovszki
  • Greedy Algorithms for the Lower and Upper Chromatic Numbers
  • Vitaly Voloshin
Dimensions
24 cm.
Extent
x, 251 p.
Isbn
9781852335267
Isbn Type
(alk. paper)
Lccn
2001042663
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
  • (Nz)6357544
  • (OCoLC)ocn370636131
Label
Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, (DMTCS '01), C.S. Calude, M.J. Dinneen, and S. Sburlan (eds.)
Publication
Note
C.S. Calude and M.J. Dinneen are at the Dept. of Computer Science, University of Auckland, N.Z
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Contents
  • Some Results for Some Conjectures in Addition Chains
  • Hatem M. Bahig, Mohamed H. El-Zahar and Ken Nakamula
  • A Highly Random Number
  • Veronica Becher, Sergio Daicz and Gregory Chaitin
  • Dini's Theorem: A Constructive Case Study
  • Douglas S. Bridges
  • Even Linear Simple Matrix Languages: Formal Language Aspects
  • Henning Fernau
  • Pseudo-BCK Algebras: An Extension of BCK Algebras
  • George Georgescu and Afrodita Iorgulescu
  • Early Computer Science Adventures of a Mathematician
  • P-Immune Sets with Holes Lack Self-Reducibility Properties
  • Lane A. Hemaspaandra and Harald Hempel
  • Lex Ideals of Generalized MV-Algebras
  • Daniel Hort and Jiri Rachunek
  • Armstrong Systems on Ordered Sets
  • Journi Jarvinen
  • Unicycle Bipartite Graphs with Only Uniquely Restricted Maximum Matchings
  • Vadim E. Levit and Eugen Mandrescu
  • On Relax-ability of Word-Order by D-grammars
  • Martin Platek, Tomas Holan and Vladislav Kubon
  • Frank Harary
  • On the Structure of Linear Cellular Automata
  • Adriana Popovici and Dan Popovici
  • Monotonically Computable Real Numbers
  • Robert Rettinger, Xizhong Zheng and Romain Gengler
  • [et al.]
  • Apartness as a Relation Between Subsets /
  • Sequentially Continuity in Constructive Mathematics
  • Hajime Ishihara
  • Recursive Functions: An Archaeological Look
  • Piergiorgio Odifreddi
  • The Number of Graphs and Digraphs with a Fixed Diameter and Connectivity
  • Ioan Tomescu
  • Peter Schuster, Luminita Vita and Douglas S. Bridges
  • How Large is the Set of Disjunctive Sequences?
  • Ludwig Staiger
  • A Loopless Generation of Bitstrings without p Consecutive Ones
  • Vincent Vajnovszki
  • Greedy Algorithms for the Lower and Upper Chromatic Numbers
  • Vitaly Voloshin
Dimensions
24 cm.
Extent
x, 251 p.
Isbn
9781852335267
Isbn Type
(alk. paper)
Lccn
2001042663
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
  • (Nz)6357544
  • (OCoLC)ocn370636131

Library Locations

    • Harold B. Lee Library Brigham Young University, Provo, UT, 84602, US
      40.249156 -111.649242
Processing Feedback ...