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

Author index

JOURNAL ARTICLE published November 2003 in Theoretical Computer Science

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

Next-preserving branching bisimulation

JOURNAL ARTICLE published August 2015 in Theoretical Computer Science

Research funded by Australian Research Council (LP0989643)

Authors: Nisansala Yatapanage | Kirsten Winter

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

Four domains for concurrency

JOURNAL ARTICLE published November 1991 in Theoretical Computer Science

Authors: J.W. de Bakker | J.H.A. Warmerdam

https://doi.org/10.1016/0304-3975(91)90303-j Actions

Editorial

JOURNAL ARTICLE published March 1995 in Theoretical Computer Science

Authors: G. Scollo | T. Rus

https://doi.org/10.1016/0304-3975(95)90079-9 Actions

Guest Editors' foreword

JOURNAL ARTICLE published April 2015 in Theoretical Computer Science

Authors: Sudebkumar Prasant Pal | Kunihiko Sadakane

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

Editorial Board

JOURNAL ARTICLE published February 2018 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(18)30047-1 Actions

An optimal algorithm to generate rooted trivalent diagrams and rooted triangular maps

JOURNAL ARTICLE published June 2010 in Theoretical Computer Science

Authors: Samuel Alexandre Vidal

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

Author index

JOURNAL ARTICLE published July 1982 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(82)80004-2 Actions

A shorter proof that palindromes are not a Church–Rosser language, with extensions to almost-confluent and preperfect Thue systems

JOURNAL ARTICLE published January 2010 in Theoretical Computer Science

Authors: Colm ÓDúnlaing | Natalie Schluter

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

Linear logic as a tool for planning under temporal uncertainty

JOURNAL ARTICLE published April 2011 in Theoretical Computer Science

Authors: Max Kanovich | Jacqueline Vauzeilles

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

Preface

JOURNAL ARTICLE published July 2020 in Theoretical Computer Science

Authors: Panagiota Fatourou | Fernando Pedone

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

Index

JOURNAL ARTICLE published September 1999 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(99)00259-5 Actions

Editorial Board

JOURNAL ARTICLE published November 2012 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(12)00848-1 Actions

Leader election in plane cellular automata, only with left–right global convention

JOURNAL ARTICLE published June 2004 in Theoretical Computer Science

Authors: Codrin Nichitiu | Christophe Papazian | Eric Rémila

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

The generalized Weil pairing and the discrete logarithm problem on elliptic curves

JOURNAL ARTICLE published June 2004 in Theoretical Computer Science

Authors: Theodoulos Garefalakis

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

Single-valuedness of tree transducers is decidable in polynomial time

JOURNAL ARTICLE published November 1992 in Theoretical Computer Science

Authors: Helmut Seidl

https://doi.org/10.1016/0304-3975(92)90281-j Actions

Simulating the CRCW PRAM on reconfigurable networks

JOURNAL ARTICLE published September 1998 in Theoretical Computer Science

Authors: Wang Biing-Feng

https://doi.org/10.1016/s0304-3975(97)00096-0 Actions

Advanced elementary formal systems

JOURNAL ARTICLE published April 2003 in Theoretical Computer Science

Authors: Steffen Lange | Gunter Grieser | Klaus P. Jantke

https://doi.org/10.1016/s0304-3975(02)00418-8 Actions

Representation of rational functions with prefix and suffix codings

JOURNAL ARTICLE published November 1994 in Theoretical Computer Science

Authors: T. Harju | H.C.M. Kleijn | M. Latteux | A. Terlutte

https://doi.org/10.1016/0304-3975(94)90245-3 Actions

Editorial Board

JOURNAL ARTICLE published January 2016 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(15)01070-1 Actions
Feedback: support@crossref.org