단행본 상세

서지주요정보
Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01)
서명 / 저자 Combinatorics, Computability and Logic [electronic resource] : Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01) / edited by C.S. Calude, M.J. Dinneen, S. Sburlan.
저자명 Calude, C.S. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Dinneen, M.J. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Sburlan, S. editor. edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
판사항 1st ed. 2001.
발행사항 London : Springer London : Imprint: Springer, 2001.
총서명 Discrete Mathematics and Theoretical Computer Science
Online Access https://doi.org/10.1007/978-1-... URL

서지기타정보

서지기타정보
ISBN 9781447107170
기타 표준번호 10.1007/978-1-4471-0717-0
청구기호 QA297.4
형태사항 X, 251 p. online resource.
언어 English
내용 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.
주제 Discrete mathematics.
Mathematical logic.
Mathematics.
Algorithms.
Machine theory.
Discrete Mathematics.
Mathematical Logic and Foundations.
Applications of Mathematics.
Algorithms.
Formal Languages and Automata Theory.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9781852335267 Printed edition: 9781447107187
QR CODE