Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01)

Springer (2001)
  Copy   BIBTEX

Abstract

This volume contains the papers presented at the Third Discrete Mathematics and Theoretical Computer Science Conference (DMTCS1), which was held at 'Ovidius'University Constantza, Romania in July 2001. The conference was open to all areas of discrete mathematics and theoretical computer science, and the papers contained within this volume cover topics such as: abstract data types and specifications; algorithms and data structures; automata and formal languages; computability, complexity and constructive mathematics; discrete mathematics, combinatorial computing and category theory; logic, nonmonotonic logic and hybrid systems; molecular computing.

Categories

Keywords

Reprint years

ISBN(s)

1852335262   1447107187

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Logic and Combinatorics: Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference Held August 4-10, 1985.Stephen G. Simpson - 1987 - American Mathematical Soc..
Discrete Mathematics and Theoretical Computer Science 4th International Conference, Dmtcs 2003, Dijon, France, July 2003, Proceedings.Cristian Calude, M. J. Dinneen & Vincent Vajnovszki - 2003 - Springer Verlag.
Finite and Infinite Combinatorics in Sets and Logic.Norbert W. Sauer, Robert Woodrow & B. Sands - 1993 - Springer Verlag.
Studies in Foundations and Combinatorics.Gian-Carlo Rota - 1978
A first course in logic: an introduction to model theory, proof theory, computability, and complexity.Shawn Hedman - 2004 - New York: Oxford University Press.
Models and computability: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997.S. B. Cooper & J. K. Truss (eds.) - 1999 - New York: Cambridge University Press.
Computability and Logic.George Boolos, John Burgess, Richard P. & C. Jeffrey - 1980 - New York: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.
Proceedings of the Second Scandinavian Logic Symposium.Jens Erik Fenstad (ed.) - 1971 - Amsterdam,: North-Holland Pub. Co..
Soundness and completeness of the Cirquent calculus system CL6 for computability logic.Wenyan Xu & Sanyang Liu - 2012 - Logic Journal of the IGPL 20 (1):317-330.
Fundamentals of Computation Theory 8th International Conference, Fct '91, Gosen, Germany, September 9-13, 1991 : Proceedings'.Lothar Budach - 1991 - Springer.
Constraints in Computational Logics First International Conference, Ccl '94, Munich, Germany, September 7-9, 1994 : Proceedings'.J. Jouannaud & Esprit Basic Research Action "Construction of Computational Logic" - 1994
Algorithmic randomness and measures of complexity.George Barmpalias - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976.Ayda I. Arruda, Newton C. A. Costa & R. Chuaqui (eds.) - 1977 - New York: sale distributors for the U.S.A. and Canada, Elsevier/North-Holland.
Computability, complexity, logic.Egon Börger - 1989 - New York, N.Y., U.S.A.: Elsevier Science Pub. Co..
Ramsey’s theorem for trees: the polarized tree theorem and notions of stability. [REVIEW]Damir D. Dzhafarov, Jeffry L. Hirst & Tamara J. Lakins - 2010 - Archive for Mathematical Logic 49 (3):399-415.

Analytics

Added to PP
2015-02-02

Downloads
2 (#1,804,618)

6 months
2 (#1,198,900)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Cristian S. Calude
University of Auckland

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references