E-Book, Englisch, 251 Seiten, eBook
Reihe: Discrete Mathematics and Theoretical Computer Science
Calude / Dinneen / Sburlan Combinatorics, Computability and Logic
Erscheinungsjahr 2012
ISBN: 978-1-4471-0717-0
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01)
E-Book, Englisch, 251 Seiten, eBook
Reihe: Discrete Mathematics and Theoretical Computer Science
ISBN: 978-1-4471-0717-0
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
