عنوان

Combinatorics, computability and logic :

شابک

1852335262

شابک

9781852335267

شماره

b537120

عنوان اصلي

Combinatorics, computability and logic :

نام عام مواد

[Book]

ساير اطلاعات عنواني

proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS'01)

نام نخستين پديدآور

C.S. Calude, M.J. Dinneen and S. Sburlan, eds.

محل نشرو پخش و غیره

London

نام ناشر، پخش کننده و غيره

Springer

تاریخ نشرو بخش و غیره

©2001.

نام خاص و کميت اثر

x, 251 p. ; 24 cm.

عنوان فروست

Discrete mathematics and theoretical computer science.

متن يادداشت

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.

موضوع مستند نشده

Combinatorial analysis -- Congresses.

موضوع مستند نشده

Computational complexity -- Congresses.

موضوع مستند نشده

Logic, Symbolic and mathematical -- Congresses.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

C.S. Calude, M.J. Dinneen and S. Sburlan, eds.

مستند نام اشخاص تاييد نشده

Cristian Calude

مستند نام اشخاص تاييد نشده

M J Dinneen

مستند نام اشخاص تاييد نشده

Silviu Sburlan

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y