Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Alberto Del Lungo, Andrea Frosini, Simone Rinaldi |
ECO Method and the Exhaustive Generation of Convex Polyominoes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 129-140, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sammani D. Abdullahi, Martin E. Dyer, Les G. Proll |
Listing Vertices of Simple Polyhedra Associated with Dual LI(2) Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 89-96, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Gregory J. Chaitin |
Two Philosophical Applications of Algorithmic Information Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 1-10, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Cunsheng Ding, Jin Yuan |
Covering and Secret Sharing with Linear Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 11-25, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Marian Alexandru Baroni |
On the Order Dual of a Riesz Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 109-117, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Symeon Bozapalidis, Antonios Kalampakas |
A Finite Complete Set of Equations Generating Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 118-128, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Val Pinciu |
A Coloring Algorithm for Finding Connected Guards in Art Galleries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 257-264, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Finkel |
On Infinitary Rational Relations and Borel Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 155-167, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | K. Subramani 0001 |
An Analysis of Quantified Linear Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 265-277, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Gardi |
Efficient Algorithms for Disjoint Matchings among Intervals and Related Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 168-180, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Catalin Dima |
Regular Expressions with Timed Dominoes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 141-154, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Mark Korenblit, Vadim E. Levit |
On Algebraic Expressions of Series-Parallel and Fibonacci Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 215-224, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Ambos-Spies, Edgar Busse |
Automatic Forcing and Genericity: On the Diagonalization Strength of Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 97-108, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Bjarni V. Halldórsson, Vineet Bafna, Nathan Edwards, Ross Lippert, Shibu Yooseph, Sorin Istrail |
Combinatorial Problems Arising in SNP and Haplotype Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 26-47, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Calude, Michael J. Dinneen, Vincent Vajnovszki (eds.) |
Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![Springer, 3-540-40505-4 The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Bakhadyr Khoussainov |
Finite State Strategies in One Player McNaughton Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 203-214, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Xizhong Zheng, George Barmpalias |
On the Monotonic Computability of Semi-computable Real Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 290-300, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sven Kosub |
Boolean NP-Partitions and Projective Closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 225-236, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Vadim E. Levit, Eugen Mandrescu |
On Unimodality of Independence Polynomials of Some Well-Covered Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 237-256, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Etsuji Tomita, Tomokazu Seki |
An Efficient Branch-and-Bound Algorithm for Finding a Maximum Clique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 278-289, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Margenstern |
Cellular Automata and Combinatoric Tilings in Hyperbolic Spaces. A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 48-72, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Mustapha Kchikech, Olivier Togni |
Paths Coloring Algorithms in Mesh Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 193-202, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Walsh 0001 |
Generating Gray Codes in O(1) Worst-Case Time per Word. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 73-88, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | André Große, Harald Hempel |
On Functions and Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 181-192, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ludwig Staiger |
How Large is the Set of Disjunctive Sequences? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania., pp. 215-225, 2001, Springer, 978-1-85233-526-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hajime Ishihara |
Sequentially Continuity in Constructive Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania., pp. 5-12, 2001, Springer, 978-1-85233-526-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ioan Tomescu |
The Number of Graphs and Digraphs with a Fixed Diameter and Connectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania., pp. 33-46, 2001, Springer, 978-1-85233-526-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Cristian S. Calude, Michael J. Dinneen, Silviu Sburlan (eds.) |
Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![Springer, 978-1-85233-526-7 The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Vajnovszki |
A Loopless Generation of Bitstrings without p Consecutive Ones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania., pp. 227-240, 2001, Springer, 978-1-85233-526-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Henning Fernau |
Even Linear Simple Matrix Languages: Formal Language Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania., pp. 81-96, 2001, Springer, 978-1-85233-526-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Martin Plátek, Tomás Holan, Vladislav Kubon |
On Relax-ability of Word-Order by D-grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania., pp. 159-173, 2001, Springer, 978-1-85233-526-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Piergiorgio Odifreddi |
Recursive Functions: An Archeological Look. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania., pp. 13-31, 2001, Springer, 978-1-85233-526-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Lane A. Hemaspaandra, Harald Hempel |
P-Immune Sets with Holes Lack Self-Reducibility Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania., pp. 115-124, 2001, Springer, 978-1-85233-526-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Popovici, Dan Popovici |
On the Structure of Linear Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania., pp. 175-185, 2001, Springer, 978-1-85233-526-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schuster 0001, Luminita Vîta, Douglas S. Bridges |
Apartness as a Relation Between Subsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania., pp. 203-214, 2001, Springer, 978-1-85233-526-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Robert Rettinger, Xizhong Zheng, Romain Gengler, Burchard von Braunmühl |
Monotonically Computable Real Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania., pp. 187-201, 2001, Springer, 978-1-85233-526-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Vitaly I. Voloshin |
Greedy Algorithms for the Lower and Upper Chromatic Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania., pp. 241-251, 2001, Springer, 978-1-85233-526-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Frank Harary |
Early Computer Science Adventures of a Mathematician. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania., pp. 1-4, 2001, Springer, 978-1-85233-526-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jouni Järvinen |
Armstrong Systems on Ordered Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania., pp. 137-149, 2001, Springer, 978-1-85233-526-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Vadim E. Levit, Eugen Mandrescu |
Unicycle Bipartite Graphs with Only Uniquely Restricted Maximum Matchings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania., pp. 151-157, 2001, Springer, 978-1-85233-526-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | George Georgescu, Afrodita Iorgulescu |
Pseudo-BCK Algebras: An Extension of BCK Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania., pp. 97-114, 2001, Springer, 978-1-85233-526-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Verónica Becher, Sergio Daicz, Gregory J. Chaitin |
A Highly Random Number. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania., pp. 55-68, 2001, Springer, 978-1-85233-526-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Douglas S. Bridges |
Dini's Theorem: A Constructive Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania., pp. 69-80, 2001, Springer, 978-1-85233-526-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hatem M. Bahig, Mohamed H. El-Zahar, Ken Nakamula |
Some Results for Some Conjectures in Addition Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania., pp. 47-54, 2001, Springer, 978-1-85233-526-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hort, Jirí Rachunek |
Lex Ideals of Generalized MV-Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Combinatorics, Computability and Logic, Proceedings of the Third International Conference on Combinatorics, Computability and Logic, DMTCS 20Ol, Constanta, Romania., pp. 125-136, 2001, Springer, 978-1-85233-526-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Weihrauch |
A Foundation for Computable Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 66-89, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Giulia Galbiati, Angelo Morzenti, Francesco Maffioli |
On the Logical Definability of Some Maximum Leaves Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 214-225, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Piergiorgio Odifreddi |
Indiscreet Applications of Discrete Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 52-65, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Kai Salomaa, Sheng Yu 0001 |
EDTOL Structural Equivalence is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 363-375, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Andrzej Ehrenfeucht, Grzegorz Rozenberg |
Forbidding, Enforcing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 37-37, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Neal Brand, Margaret Morton |
A Note on the Growth Rate of Planar Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 147-157, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Fan Chung |
Discrete Isoperimetric Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 24-24, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Charles J. Colbourn, Jeffrey H. Dinitz |
N(n), v(n): Similarities and Differences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 25-37, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Claudia Bertram-Kretzberg, Hanno Lefmann, Vojtech Rödl, Beata Wysocka |
Proper Bounded Edge-Colorings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 121-130, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Satoshi Matsuoka |
A New Proof Search Method for Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 338-350, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Robert Goldblatt |
The Functional Lambda Abstraction Algebras Form a Variety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 226-243, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Dan Archdeacon, C. Paul Bonnington, John Pearson, Jozef Sirán |
The Hadwiger Number for the Product of Two Cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 113-120, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Serafino Cicerone, Gabriele Di Stefano |
Graph Classes between Parity and Distance-Hereditary Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 168-181, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Pál Dömösi, Masami Ito, Masashi Katsura, Chrystopher L. Nehaniv |
A New Pumping Property of Context-Free Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 187-193, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Andrei V. Kelarev |
Combinatorial Properties of Sequences in Groups and Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 289-298, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Mouw-Ching Tjiok |
The Role of Kripke Semantics in Reasoning of Knowledge and Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 402-422, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Richard P. Anstee, Lou Caccetta |
Recognizing Diameter Critical Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 105-112, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Charles Semple |
k-Regular Matroids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 376-386, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Klaus-Jörn Lange, Klaus Reinhardt |
Set Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 321-329, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Douglas S. Bridges, Cristian S. Calude, Jeremy Gibbons, Steve Reeves, Ian H. Witten (eds.) |
First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996 ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![Springer-Verlag, Singapore, 981-3083-14-X The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Hans W. Guesgen |
A Formalization of Anytime Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 244-252, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Charles H. C. Little, Bruce van Brunt |
A Condition for a Normal Semicycle to Separate an Orientable 3-Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 330-337, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Balázs Imreh, Masami Ito, Masashi Katsura |
On Shuffle Closure of Commutative Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 276-288, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Rodney G. Downey, Michael R. Fellows, Udayan Taylor |
The Parameterized Complexity of Relational Database Queries and an Improved Characterization of W[1]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 194-213, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Ryu Hasegawa |
The Generating Functions of Lambda Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 253-263, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Marston D. E. Conder, Cameron G. Walker |
Sierpinski's Gasket, 2-Groups and Graph Symmetries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 182-186, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Stephen A. Bloch, Jonathan F. Buss, Judy Goldsmith |
Sharply Bounded Alternation within P. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 131-146, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Padmanabhan Krishnan, Jane Hopkins |
A Process Algebraic View of Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 308-320, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Dieter Spreen |
Representations versus Numberings: On Two Computability Notions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 387-401, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Ghulam Rasool Chaudhry, Jennifer Seberry |
Secret Sharing Schemes Based on Room Squares. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 158-167, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Peter Hertling |
Effectivity and Effective Continuity of Functions between Computable Metric Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 264-275, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Ioannis Antoniou, Boris S. Pavlov, Adil Yafsayov |
Quantum Electronic Devices Based on Metal-Dielectric Transition in Low-Dimensional Quantum Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 90-104, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Bakhadyr Khoussainov, Richard A. Shore |
Categoricity and Scott Families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 299-307, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Susumu Hayashi |
Constructive Programming: A Personal View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 38-51, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi |
Computability Structures on Metric Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 351-362, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Gregory J. Chaitin |
An Invitation to Algorithmic Information Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996, pp. 1-23, 1996, Springer-Verlag, Singapore, 981-3083-14-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|