Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 2 of 16663 results
Sort by: relevance publication year
Showing results for ISSN matching 0304-3975

Test sets for finite substitutions

JOURNAL ARTICLE published 1986 in Theoretical Computer Science

Authors: M.H. Albert | J. Lawrence

https://doi.org/10.1016/0304-3975(86)90171-4 Actions

Controlling loosely cooperating processes

JOURNAL ARTICLE published January 2016 in Theoretical Computer Science

Research funded by EPSRC (EP/H046623/1)

Authors: Anca Muscholl | Sven Schewe

https://doi.org/10.1016/j.tcs.2015.07.044 Actions

Editorial Board

JOURNAL ARTICLE published November 2011 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(11)00842-5 Actions

Type inference for light affine logic via constraints on words

JOURNAL ARTICLE published December 2004 in Theoretical Computer Science

Authors: Patrick Baillot

https://doi.org/10.1016/j.tcs.2004.08.014 Actions

Editorial Board

JOURNAL ARTICLE published 1984 in Theoretical Computer Science

https://doi.org/10.1016/0304-3975(84)90064-1 Actions

Corrigendum to “Incidence coloring on hypercubes” [Theoret. Comput. Sci. 557 (2014) 59–65]

JOURNAL ARTICLE published October 2016 in Theoretical Computer Science

Authors: Kung-Jui Pai | Jou-Ming Chang | Jinn-Shyong Yang | Ro-Yu Wu

https://doi.org/10.1016/j.tcs.2016.08.001 Actions

Author index

JOURNAL ARTICLE published April 2003 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(03)00175-0 Actions

Least and greatest solutions of equations over sets of integers

JOURNAL ARTICLE published March 2016 in Theoretical Computer Science

Research funded by NCN (2011/01/D/ST6/07164) | Academy of Finland (134860,257857)

Authors: Artur Jeż | Alexander Okhotin

https://doi.org/10.1016/j.tcs.2016.01.013 Actions

The prime number theorem is PRA-provable

JOURNAL ARTICLE published April 2001 in Theoretical Computer Science

Authors: Olivier Sudac

https://doi.org/10.1016/s0304-3975(00)00116-x Actions

All superlinear inverse schemes are coNP-hard

JOURNAL ARTICLE published November 2005 in Theoretical Computer Science

Authors: Edith Hemaspaandra | Lane A. Hemaspaandra | Harald Hempel

https://doi.org/10.1016/j.tcs.2005.07.015 Actions

From regular expressions to smaller NFAs

JOURNAL ARTICLE published September 2011 in Theoretical Computer Science

Authors: Pedro García | Damián López | José Ruiz | Gloria I. Álvarez

https://doi.org/10.1016/j.tcs.2011.05.058 Actions

Finite derivation type for semi-direct products of monoids

JOURNAL ARTICLE published January 1998 in Theoretical Computer Science

Authors: Jing Wang

https://doi.org/10.1016/s0304-3975(97)00164-3 Actions

An efficient deterministic parallel algorithm for two processors precedence constraint scheduling

JOURNAL ARTICLE published January 2003 in Theoretical Computer Science

Authors: Hermann Jung | Maria Serna | Paul Spirakis

https://doi.org/10.1016/s0304-3975(01)00120-7 Actions

Author index

JOURNAL ARTICLE published December 2006 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(06)00806-1 Actions

Complexity of problems concerning reset words for cyclic and Eulerian automata

JOURNAL ARTICLE published September 2012 in Theoretical Computer Science

Authors: Pavel Martyugin

https://doi.org/10.1016/j.tcs.2012.04.022 Actions

Parallel interval order recognition and construction of interval representations

JOURNAL ARTICLE published July 1995 in Theoretical Computer Science

Authors: Michael A. Bender | Michel Gastaldo | Michel Morvan

https://doi.org/10.1016/0304-3975(95)80025-5 Actions

Editorial Board

JOURNAL ARTICLE published December 2016 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(16)30586-2 Actions

The Zariski spectrum as a formal geometry

JOURNAL ARTICLE published October 2008 in Theoretical Computer Science

Authors: Peter Schuster

https://doi.org/10.1016/j.tcs.2008.06.030 Actions

More on deterministic and nondeterministic finite cover automata

JOURNAL ARTICLE published May 2017 in Theoretical Computer Science

Authors: Hermann Gruber | Markus Holzer | Sebastian Jakobi

https://doi.org/10.1016/j.tcs.2016.10.006 Actions

Foreword

JOURNAL ARTICLE published October 1994 in Theoretical Computer Science

Authors: Felipe Cucker

https://doi.org/10.1016/0304-3975(94)90121-x Actions
Feedback: support@crossref.org