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

An investigation of controls for concurrent systems based on abstract control languages

JOURNAL ARTICLE published 1985 in Theoretical Computer Science

Authors: H.D. Burkhard

https://doi.org/10.1016/0304-3975(85)90220-8 Actions

P automata revisited

JOURNAL ARTICLE published October 2012 in Theoretical Computer Science

Authors: Gheorghe Păun | Mario J. Pérez-Jiménez

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

The μ-calculus alternation hierarchy collapses over structures with restricted connectivity

JOURNAL ARTICLE published December 2014 in Theoretical Computer Science

Research funded by EPSRC (EP/G012962/1) | ERC (267916,291528) | ERC (259267)

Authors: Julian Gutierrez | Felix Klaedtke | Martin Lange

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

Foreword

JOURNAL ARTICLE published January 1999 in Theoretical Computer Science

Authors: Satoru Miyano

https://doi.org/10.1016/s0304-3975(98)00086-3 Actions

Temperature aware online algorithms for minimizing flow time

JOURNAL ARTICLE published January 2017 in Theoretical Computer Science

Authors: Martin Birks | Stanley P.Y. Fung

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

Foreword

JOURNAL ARTICLE published February 2003 in Theoretical Computer Science

Authors: Colin Fidge

https://doi.org/10.1016/s0304-3975(02)00610-2 Actions

A temporal logic for real-time partial ordering with named transactions

JOURNAL ARTICLE published July 1997 in Theoretical Computer Science

Authors: Wang Farn

https://doi.org/10.1016/s0304-3975(96)00270-8 Actions

A spatial view of information

JOURNAL ARTICLE published November 2006 in Theoretical Computer Science

Authors: Jonathan Gratus | Timothy Porter

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

The cyclical scheduling problem

JOURNAL ARTICLE published October 2014 in Theoretical Computer Science

Authors: Binay Bhattacharya | Soudipta Chakraborty | Ehsan Iranmanesh | Ramesh Krishnamurti

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

Hypermap rewriting: a combinatorial approach

JOURNAL ARTICLE published August 1991 in Theoretical Computer Science

Authors: Eric Sopena

https://doi.org/10.1016/0304-3975(91)90183-3 Actions

Rewriting with a nondeterministic choice operator

JOURNAL ARTICLE published 1988 in Theoretical Computer Science

Authors: Stéphane Kaplan

https://doi.org/10.1016/0304-3975(86)90005-8 Actions

Local 7-coloring for planar subgraphs of unit disk graphs

JOURNAL ARTICLE published April 2011 in Theoretical Computer Science

Authors: J. Czyzowicz | S. Dobrev | H. González-Aguilar | R. Kralovic | E. Kranakis | J. Opatrny | L. Stacho | J. Urrutia

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

Translation of logic programs into functional fixpoint equations

JOURNAL ARTICLE published March 1989 in Theoretical Computer Science

Authors: Georges Gardarin | Irène Guessarian | Christophe de Maindreville

https://doi.org/10.1016/0304-3975(89)90009-1 Actions

Universal axioms for bisimulations

JOURNAL ARTICLE published June 1993 in Theoretical Computer Science

Authors: Pierpaolo Degano | Rocco De Nicola | Ugo Montanari

https://doi.org/10.1016/0304-3975(93)90153-k Actions

On the p-isomorphism conjecture

JOURNAL ARTICLE published June 1991 in Theoretical Computer Science

Authors: Osamu Watanabe

https://doi.org/10.1016/0304-3975(91)90284-9 Actions

One-way probabilistic reversible and quantum one-counter automata

JOURNAL ARTICLE published October 2002 in Theoretical Computer Science

Authors: Tomohiro Yamasaki | Hirotada Kobayashi | Yuuki Tokunaga | Hiroshi Imai

https://doi.org/10.1016/s0304-3975(01)00412-1 Actions

A superposition oriented theorem prover

JOURNAL ARTICLE published 1985 in Theoretical Computer Science

Authors: Laurent Fribourg

https://doi.org/10.1016/0304-3975(85)90011-8 Actions

Lower bounds and the hardness of counting properties

JOURNAL ARTICLE published October 2004 in Theoretical Computer Science

Authors: Lane A. Hemaspaandra | Mayur Thakur

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

From truth to computability II

JOURNAL ARTICLE published June 2007 in Theoretical Computer Science

Authors: Giorgi Japaridze

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

Best-order streaming model

JOURNAL ARTICLE published May 2011 in Theoretical Computer Science

Authors: Atish Das Sarma | Richard J. Lipton | Danupon Nanongkai

https://doi.org/10.1016/j.tcs.2010.10.046 Actions
Feedback: support@crossref.org