Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dmtcs/dmtcs1996.bht:"
download as .bib file
@inproceedings{DBLP:conf/dmtcs/AnsteeC96,
author = {Richard P. Anstee and
Lou Caccetta},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {Recognizing Diameter Critical Graphs},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {105--112},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 20:10:07 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/AnsteeC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/AntoniouPY96,
author = {Ioannis Antoniou and
Boris S. Pavlov and
Adil Yafsayov},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {Quantum Electronic Devices Based on Metal-Dielectric Transition in
Low-Dimensional Quantum Structures},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {90--104},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Fri, 15 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/AntoniouPY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/ArchdeaconBPS96,
author = {Dan Archdeacon and
C. Paul Bonnington and
John Pearson and
Jozef Sir{\'{a}}n},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {The Hadwiger Number for the Product of Two Cycles},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {113--120},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/ArchdeaconBPS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/Bertram-Kretzberg96,
author = {Claudia Bertram{-}Kretzberg and
Hanno Lefmann and
Vojtech R{\"{o}}dl and
Beata Wysocka},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {Proper Bounded Edge-Colorings},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {121--130},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/Bertram-Kretzberg96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/BlochBG96,
author = {Stephen A. Bloch and
Jonathan F. Buss and
Judy Goldsmith},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {Sharply Bounded Alternation within {P}},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {131--146},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/BlochBG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/BrandM96,
author = {Neal Brand and
Margaret Morton},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {A Note on the Growth Rate of Planar Graphs},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {147--157},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/BrandM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/Chaitin96,
author = {Gregory J. Chaitin},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {An Invitation to Algorithmic Information Theory},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {1--23},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/Chaitin96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/ChaudhryS96,
author = {Ghulam Rasool Chaudhry and
Jennifer Seberry},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {Secret Sharing Schemes Based on Room Squares},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {158--167},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/ChaudhryS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/Chung96,
author = {Fan Chung},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {Discrete Isoperimetric Inequalities},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {24--24},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/Chung96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/CiceroneS96,
author = {Serafino Cicerone and
Gabriele Di Stefano},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {Graph Classes between Parity and Distance-Hereditary Graphs},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {168--181},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/CiceroneS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/ColbournD96,
author = {Charles J. Colbourn and
Jeffrey H. Dinitz},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {N(n), v(n): Similarities and Differences},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {25--37},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/ColbournD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/ConderW96,
author = {Marston D. E. Conder and
Cameron G. Walker},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {Sierpinski's Gasket, 2-Groups and Graph Symmetries},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {182--186},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/ConderW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/DomosiIKN96,
author = {P{\'{a}}l D{\"{o}}m{\"{o}}si and
Masami Ito and
Masashi Katsura and
Chrystopher L. Nehaniv},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {A New Pumping Property of Context-Free Language},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {187--193},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/DomosiIKN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/DowneyFT96,
author = {Rodney G. Downey and
Michael R. Fellows and
Udayan Taylor},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {The Parameterized Complexity of Relational Database Queries and an
Improved Characterization of {W[1]}},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {194--213},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/DowneyFT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/EhrenfeuchtR96,
author = {Andrzej Ehrenfeucht and
Grzegorz Rozenberg},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {Forbidding, Enforcing},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {37--37},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/EhrenfeuchtR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/GalbiatiMM96,
author = {Giulia Galbiati and
Angelo Morzenti and
Francesco Maffioli},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {On the Logical Definability of Some Maximum Leaves Problems},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {214--225},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/GalbiatiMM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/Goldblatt96,
author = {Robert Goldblatt},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {The Functional Lambda Abstraction Algebras Form a Variety},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {226--243},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/Goldblatt96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/Guesgen96,
author = {Hans W. Guesgen},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {A Formalization of Anytime Constraint Satisfaction},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {244--252},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/Guesgen96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/Hasegawa96,
author = {Ryu Hasegawa},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {The Generating Functions of Lambda Terms},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {253--263},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/Hasegawa96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/Hayashi96,
author = {Susumu Hayashi},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {Constructive Programming: {A} Personal View},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {38--51},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/Hayashi96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/Hertling96,
author = {Peter Hertling},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {Effectivity and Effective Continuity of Functions between Computable
Metric Spaces},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {264--275},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/Hertling96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/ImrehIK96,
author = {Bal{\'{a}}zs Imreh and
Masami Ito and
Masashi Katsura},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {On Shuffle Closure of Commutative Regular Languages},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {276--288},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/ImrehIK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/Kelarev96,
author = {Andrei V. Kelarev},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {Combinatorial Properties of Sequences in Groups and Semirings},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {289--298},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Mon, 06 Jul 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/Kelarev96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/KhoussainovS96,
author = {Bakhadyr Khoussainov and
Richard A. Shore},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {Categoricity and Scott Families},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {299--307},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/KhoussainovS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/KrishnanH96,
author = {Padmanabhan Krishnan and
Jane Hopkins},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {A Process Algebraic View of Linear Logic},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {308--320},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/KrishnanH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/LangeR96,
author = {Klaus{-}J{\"{o}}rn Lange and
Klaus Reinhardt},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {Set Automata},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {321--329},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/LangeR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/LittleB96,
author = {Charles H. C. Little and
Bruce van Brunt},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {A Condition for a Normal Semicycle to Separate an Orientable 3-Graph},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {330--337},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/LittleB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/Matsuoka96,
author = {Satoshi Matsuoka},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {A New Proof Search Method for Linear Logic},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {338--350},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/Matsuoka96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/MoriTY96,
author = {Takakazu Mori and
Yoshiki Tsujii and
Mariko Yasugi},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {Computability Structures on Metric Spaces},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {351--362},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/MoriTY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/Odifreddi96,
author = {Piergiorgio Odifreddi},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {Indiscreet Applications of Discrete Mathematics},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {52--65},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/Odifreddi96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/SalomaaY96,
author = {Kai Salomaa and
Sheng Yu},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {{EDTOL} Structural Equivalence is Decidable},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {363--375},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dmtcs/SalomaaY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/Semple96,
author = {Charles Semple},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {k-Regular Matroids},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {376--386},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/Semple96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/Spreen96,
author = {Dieter Spreen},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {Representations versus Numberings: On Two Computability Notions},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {387--401},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/Spreen96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/Tjiok96,
author = {Mouw{-}Ching Tjiok},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {The Role of Kripke Semantics in Reasoning of Knowledge and Time},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {402--422},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/Tjiok96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/Weihrauch96,
author = {Klaus Weihrauch},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {A Foundation for Computable Analysis},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {66--89},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/Weihrauch96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dmtcs/1996,
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
publisher = {Springer-Verlag, Singapore},
year = {1996},
url = {https://www.cs.auckland.ac.nz/research/groups/CDMTCS/conferences/dmtcs96/},
isbn = {981-3083-14-X},
timestamp = {Tue, 14 Apr 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-31 02:07 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
