Combinatorics, complexity, & logic : proceedings of DMTCS '96

書誌事項

Combinatorics, complexity, & logic : proceedings of DMTCS '96

D.S. Bridges ... [et al.] (editors)

(Springer series in discrete mathematics and theoretical computer science)

Springer, c1997

大学図書館所蔵 件 / 29

この図書・雑誌をさがす

注記

Papers from the First International Conference on Discrete Mathematics and Theoretical Computer Science held in Auckland, N.Z. in Dec. 1996

Includes bibliographical references

内容説明・目次

内容説明

These conference proceedings contain original papers which were solicited in all areas of discrete mathematics and computer science, in particular in the areas of combinatorics, complexity, computability, constructivity and logic.

目次

  • Quantum electronic devices based on metal-dieletric transition low-dimensional quantum structures, I. Antoniou et al
  • recognizing diameter critical graphs, R.P. Anstee and L. Caccetta
  • secret charing schemes absed on room squares, G.R. Chaudhry
  • Sierpinski's gasket, 2-groups and graph symmetries, C.G. Walker
  • a new pumping lemma for context-free languages, P. Domosi et al
  • on shuffle closures of commutative regular languanges, B. Imreh et al
  • combinatorial properties of sequences in groups and semigroups, A. Kelarev
  • a new proof search method for linear logic, S. Matsuoka.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ