Publications :: Search

Show venue

On this page you see the details of the selected venue.

Journal
Name:	Theor. Comput. Sci.
Year:	2003
Volume:	295
DBLP:	db/journals/tcs/tcs295.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 22  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Andris Ambainis, Arnolds Kikusts. Exact results for accepting probabilities of quantum automata.	Theor. Comput. Sci. 2003, Volume 295	(0)	2003
	Conference paper Albert Atserias. Improved bounds on the Weak Pigeonhole Principle and infinitely many primes from weaker axioms.	Theor. Comput. Sci. 2003, Volume 295	(0)	2003
	Conference paper Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns. Reachability problems for sequential dynamical systems with threshold functions.	Theor. Comput. Sci. 2003, Volume 295	(0)	2003
	Conference paper Markus Bläser. The complexity of bivariate power series arithmetic.	Theor. Comput. Sci. 2003, Volume 295	(0)	2003
	Conference paper Ahmed Bouajjani, Peter Habermehl, Richard Mayr. Automatic verification of recursive procedures with one integer parameter.	Theor. Comput. Sci. 2003, Volume 295	(0)	2003
	Conference paper Sabin Cautis, Filippo Mignosi, Jeffrey Shallit, Ming-wei Wang, Soroosh Yazdani. Periodicity, morphisms, and matrices.	Theor. Comput. Sci. 2003, Volume 295	(0)	2003
	Conference paper Giovanni Di Crescenzo. Sharing one secret vs. sharing many secrets.	Theor. Comput. Sci. 2003, Volume 295	(0)	2003
	Conference paper Pavol Duris, Ján Manuch. On the computational complexity of infinite words.	Theor. Comput. Sci. 2003, Volume 295	(0)	2003
	Conference paper Hervé Fournier. Quantifier rank for parity of embedded finite models.	Theor. Comput. Sci. 2003, Volume 295	(0)	2003
	Conference paper Viliam Geffert. Space hierarchy theorem revised.	Theor. Comput. Sci. 2003, Volume 295	(0)	2003

Show item 1 to 10 of 22  

Your query returned 22 matches in the database.