Search results for "DMTCS"

Hits ?▲	Authors	Title	Venue	Year	Link
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

Publications at "DMTCS"( http://dblp.L3S.de/Venues/DMTCS )