عنوان
پدید آورنده
موضوع
رده
QA164 .C733 2001
QA164
.
C733
2001
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1852335262
(Number (ISBN
9781852335267
NATIONAL BIBLIOGRAPHY NUMBER
Number
b537120
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Combinatorics, computability and logic :
General Material Designation
[Book]
Other Title Information
proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS'01)
First Statement of Responsibility
C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
©2001.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 251 p. ; 24 cm.
SERIES
Series Title
Discrete mathematics and theoretical computer science.
CONTENTS NOTE
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Combinatorial analysis -- Congresses.
Computational complexity -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA164
Book number
.
C733
2001
PERSONAL NAME - PRIMARY RESPONSIBILITY
C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Cristian Calude
M J Dinneen
Silviu Sburlan
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
