![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
1. DMTCS 1996: Auckland, New Zealand
- Douglas S. Bridges, Cristian S. Calude, Jeremy Gibbons, Steve Reeves, Ian H. Witten:
First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996. Springer-Verlag, Singapore 1996, ISBN 981-3083-14-X
Invited Papers
- Gregory J. Chaitin:
An Invitation to Algorithmic Information Theory. DMTCS 1996: 1-23 - Fan Chung:
Discrete Isoperimetric Inequalities. DMTCS 1996: 24-24 - Charles J. Colbourn, Jeffrey H. Dinitz:
N(n), v(n): Similarities and Differences. DMTCS 1996: 25-37 - Andrzej Ehrenfeucht, Grzegorz Rozenberg:
Forbidding, Enforcing. DMTCS 1996: 37-37 - Susumu Hayashi:
Constructive Programming: A Personal View. DMTCS 1996: 38-51 - Piergiorgio Odifreddi:
Indiscreet Applications of Discrete Mathematics. DMTCS 1996: 52-65 - Klaus Weihrauch:
A Foundation for Computable Analysis. DMTCS 1996: 66-89
Contributed Papers
- Ioannis Antoniou, Boris S. Pavlov, Adil Yafsayov:
Quantum Electronic Devices Based on Metal-Dielectric Transition in Low-Dimensional Quantum Structures. DMTCS 1996: 90-104 - Richard P. Anstee, Lou Caccetta:
Recognizing Diameter Critical Graphs. DMTCS 1996: 105-112 - Dan Archdeacon, C. Paul Bonnington, John Pearson, Jozef Sirán:
The Hadwiger Number for the Product of Two Cycles. DMTCS 1996: 113-120 - Claudia Bertram-Kretzberg, Hanno Lefmann, Vojtech Rödl, Beata Wysocka:
Proper Bounded Edge-Colorings. DMTCS 1996: 121-130 - Stephen A. Bloch, Jonathan F. Buss, Judy Goldsmith:
Sharply Bounded Alternation within P. DMTCS 1996: 131-146 - Neal Brand, Margaret Morton:
A Note on the Growth Rate of Planar Graphs. DMTCS 1996: 147-157 - Ghulam Rasool Chaudhry, Jennifer Seberry:
Secret Sharing Schemes Based on Room Squares. DMTCS 1996: 158-167 - Serafino Cicerone, Gabriele Di Stefano:
Graph Classes between Parity and Distance-Hereditary Graphs. DMTCS 1996: 168-181 - Marston D. E. Conder, Cameron G. Walker:
Sierpinski's Gasket, 2-Groups and Graph Symmetries. DMTCS 1996: 182-186 - Pál Dömösi, Masami Ito, Masashi Katsura, Chrystopher L. Nehaniv:
A New Pumping Property of Context-Free Language. DMTCS 1996: 187-193 - Rodney G. Downey, Michael R. Fellows, Udayan Taylor:
The Parameterized Complexity of Relational Database Queries and an Improved Characterization of W[1]. DMTCS 1996: 194-213 - Giulia Galbiati, Angelo Morzenti, Francesco Maffioli:
On the Logical Definability of Some Maximum Leaves Problems. DMTCS 1996: 214-225 - Robert Goldblatt:
The Functional Lambda Abstraction Algebras Form a Variety. DMTCS 1996: 226-243 - Hans W. Guesgen:
A Formalization of Anytime Constraint Satisfaction. DMTCS 1996: 244-252 - Ryu Hasegawa:
The Generating Functions of Lambda Terms. DMTCS 1996: 253-263 - Peter Hertling:
Effectivity and Effective Continuity of Functions between Computable Metric Spaces. DMTCS 1996: 264-275 - Balázs Imreh, Masami Ito, Masashi Katsura:
On Shuffle Closure of Commutative Regular Languages. DMTCS 1996: 276-288 - Andrei V. Kelarev:
Combinatorial Properties of Sequences in Groups and Semirings. DMTCS 1996: 289-298 - Bakhadyr Khoussainov, Richard A. Shore:
Categoricity and Scott Families. DMTCS 1996: 299-307 - Padmanabhan Krishnan, Jane Hopkins:
A Process Algebraic View of Linear Logic. DMTCS 1996: 308-320 - Klaus-Jörn Lange, Klaus Reinhardt:
Set Automata. DMTCS 1996: 321-329 - Charles H. C. Little, Bruce van Brunt:
A Condition for a Normal Semicycle to Separate an Orientable 3-Graph. DMTCS 1996: 330-337 - Satoshi Matsuoka:
A New Proof Search Method for Linear Logic. DMTCS 1996: 338-350 - Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi:
Computability Structures on Metric Spaces. DMTCS 1996: 351-362 - Kai Salomaa, Sheng Yu:
EDTOL Structural Equivalence is Decidable. DMTCS 1996: 363-375 - Charles Semple:
k-Regular Matroids. DMTCS 1996: 376-386 - Dieter Spreen:
Representations versus Numberings: On Two Computability Notions. DMTCS 1996: 387-401 - Mouw-Ching Tjiok:
The Role of Kripke Semantics in Reasoning of Knowledge and Time. DMTCS 1996: 402-422
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.