Home » Combinatorics, Computability And Logic by Cristian S. Calude
Combinatorics, Computability And Logic Cristian S. Calude

Combinatorics, Computability And Logic

Cristian S. Calude

Published June 22nd 2001
ISBN :
Paperback
251 pages
Enter the sum

 About the Book 

This volume contains the papers presented at the Third Combinatorics, Computability and Logic (DMTCS01) conference, which was held at Ovidius University Constanta, 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.