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. |
DMTCS |
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. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Gregory J. Chaitin |
Two Philosophical Applications of Algorithmic Information Theory. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Cunsheng Ding, Jin Yuan |
Covering and Secret Sharing with Linear Codes. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Marian Alexandru Baroni |
On the Order Dual of a Riesz Space. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Symeon Bozapalidis, Antonios Kalampakas |
A Finite Complete Set of Equations Generating Graphs. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Val Pinciu |
A Coloring Algorithm for Finding Connected Guards in Art Galleries. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Finkel |
On Infinitary Rational Relations and Borel Sets. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | K. Subramani 0001 |
An Analysis of Quantified Linear Programs. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Gardi |
Efficient Algorithms for Disjoint Matchings among Intervals and Related Problems. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Catalin Dima |
Regular Expressions with Timed Dominoes. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Mark Korenblit, Vadim E. Levit |
On Algebraic Expressions of Series-Parallel and Fibonacci Graphs. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Ambos-Spies, Edgar Busse |
Automatic Forcing and Genericity: On the Diagonalization Strength of Finite Automata. |
DMTCS |
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. |
DMTCS |
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 |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Bakhadyr Khoussainov |
Finite State Strategies in One Player McNaughton Games. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Xizhong Zheng, George Barmpalias |
On the Monotonic Computability of Semi-computable Real Numbers. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sven Kosub |
Boolean NP-Partitions and Projective Closure. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Vadim E. Levit, Eugen Mandrescu |
On Unimodality of Independence Polynomials of Some Well-Covered Trees. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Etsuji Tomita, Tomokazu Seki |
An Efficient Branch-and-Bound Algorithm for Finding a Maximum Clique. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Margenstern |
Cellular Automata and Combinatoric Tilings in Hyperbolic Spaces. A Survey. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Mustapha Kchikech, Olivier Togni |
Paths Coloring Algorithms in Mesh Networks. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Walsh 0001 |
Generating Gray Codes in O(1) Worst-Case Time per Word. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | André Große, Harald Hempel |
On Functions and Relations. |
DMTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ludwig Staiger |
How Large is the Set of Disjunctive Sequences? |
DMTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hajime Ishihara |
Sequentially Continuity in Constructive Mathematics. |
DMTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ioan Tomescu |
The Number of Graphs and Digraphs with a Fixed Diameter and Connectivity. |
DMTCS |
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. |
DMTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Vajnovszki |
A Loopless Generation of Bitstrings without p Consecutive Ones. |
DMTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Henning Fernau |
Even Linear Simple Matrix Languages: Formal Language Aspects. |
DMTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Martin Plátek, Tomás Holan, Vladislav Kubon |
On Relax-ability of Word-Order by D-grammars. |
DMTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Piergiorgio Odifreddi |
Recursive Functions: An Archeological Look. |
DMTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Lane A. Hemaspaandra, Harald Hempel |
P-Immune Sets with Holes Lack Self-Reducibility Properties. |
DMTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Popovici, Dan Popovici |
On the Structure of Linear Cellular Automata. |
DMTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schuster 0001, Luminita Vîta, Douglas S. Bridges |
Apartness as a Relation Between Subsets. |
DMTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Robert Rettinger, Xizhong Zheng, Romain Gengler, Burchard von Braunmühl |
Monotonically Computable Real Numbers. |
DMTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Vitaly I. Voloshin |
Greedy Algorithms for the Lower and Upper Chromatic Numbers. |
DMTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Frank Harary |
Early Computer Science Adventures of a Mathematician. |
DMTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jouni Järvinen |
Armstrong Systems on Ordered Sets. |
DMTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Vadim E. Levit, Eugen Mandrescu |
Unicycle Bipartite Graphs with Only Uniquely Restricted Maximum Matchings. |
DMTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | George Georgescu, Afrodita Iorgulescu |
Pseudo-BCK Algebras: An Extension of BCK Algebras. |
DMTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Verónica Becher, Sergio Daicz, Gregory J. Chaitin |
A Highly Random Number. |
DMTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Douglas S. Bridges |
Dini's Theorem: A Constructive Case Study. |
DMTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hatem M. Bahig, Mohamed H. El-Zahar, Ken Nakamula |
Some Results for Some Conjectures in Addition Chains. |
DMTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hort, Jirí Rachunek |
Lex Ideals of Generalized MV-Algebras. |
DMTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Weihrauch |
A Foundation for Computable Analysis. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Giulia Galbiati, Angelo Morzenti, Francesco Maffioli |
On the Logical Definability of Some Maximum Leaves Problems. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Piergiorgio Odifreddi |
Indiscreet Applications of Discrete Mathematics. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Kai Salomaa, Sheng Yu 0001 |
EDTOL Structural Equivalence is Decidable. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Andrzej Ehrenfeucht, Grzegorz Rozenberg |
Forbidding, Enforcing. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Neal Brand, Margaret Morton |
A Note on the Growth Rate of Planar Graphs. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Fan Chung |
Discrete Isoperimetric Inequalities. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Charles J. Colbourn, Jeffrey H. Dinitz |
N(n), v(n): Similarities and Differences. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Claudia Bertram-Kretzberg, Hanno Lefmann, Vojtech Rödl, Beata Wysocka |
Proper Bounded Edge-Colorings. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Satoshi Matsuoka |
A New Proof Search Method for Linear Logic. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Robert Goldblatt |
The Functional Lambda Abstraction Algebras Form a Variety. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Dan Archdeacon, C. Paul Bonnington, John Pearson, Jozef Sirán |
The Hadwiger Number for the Product of Two Cycles. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Serafino Cicerone, Gabriele Di Stefano |
Graph Classes between Parity and Distance-Hereditary Graphs. |
DMTCS |
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. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Andrei V. Kelarev |
Combinatorial Properties of Sequences in Groups and Semirings. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Mouw-Ching Tjiok |
The Role of Kripke Semantics in Reasoning of Knowledge and Time. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Richard P. Anstee, Lou Caccetta |
Recognizing Diameter Critical Graphs. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Charles Semple |
k-Regular Matroids. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Klaus-Jörn Lange, Klaus Reinhardt |
Set Automata. |
DMTCS |
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 |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Hans W. Guesgen |
A Formalization of Anytime Constraint Satisfaction. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Charles H. C. Little, Bruce van Brunt |
A Condition for a Normal Semicycle to Separate an Orientable 3-Graph. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Balázs Imreh, Masami Ito, Masashi Katsura |
On Shuffle Closure of Commutative Regular Languages. |
DMTCS |
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]. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Ryu Hasegawa |
The Generating Functions of Lambda Terms. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Marston D. E. Conder, Cameron G. Walker |
Sierpinski's Gasket, 2-Groups and Graph Symmetries. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Stephen A. Bloch, Jonathan F. Buss, Judy Goldsmith |
Sharply Bounded Alternation within P. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Padmanabhan Krishnan, Jane Hopkins |
A Process Algebraic View of Linear Logic. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Dieter Spreen |
Representations versus Numberings: On Two Computability Notions. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Ghulam Rasool Chaudhry, Jennifer Seberry |
Secret Sharing Schemes Based on Room Squares. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Peter Hertling |
Effectivity and Effective Continuity of Functions between Computable Metric Spaces. |
DMTCS |
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. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Bakhadyr Khoussainov, Richard A. Shore |
Categoricity and Scott Families. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Susumu Hayashi |
Constructive Programming: A Personal View. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi |
Computability Structures on Metric Spaces. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Gregory J. Chaitin |
An Invitation to Algorithmic Information Theory. |
DMTCS |
1996 |
DBLP BibTeX RDF |
|