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

Preface

JOURNAL ARTICLE published November 2020 in Theoretical Computer Science

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

Higher order dataflow schemas

JOURNAL ARTICLE published November 1991 in Theoretical Computer Science

Authors: Enn Tyugu

https://doi.org/10.1016/0304-3975(91)90306-m Actions

Editorial Board

JOURNAL ARTICLE published March 1991 in Theoretical Computer Science

https://doi.org/10.1016/0304-3975(91)90202-d Actions

Optimizing stable in-place merging

JOURNAL ARTICLE published June 2003 in Theoretical Computer Science

Authors: Jingchao Chen

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

Foreword

JOURNAL ARTICLE published 1981 in Theoretical Computer Science

Authors: Ronald V. Book

https://doi.org/10.1016/0304-3975(81)90053-0 Actions

Discrete mathematical structures: From dynamics to complexity

JOURNAL ARTICLE published September 2013 in Theoretical Computer Science

Authors: Cristian Calude | Bruno Durand | Anahí Gajardo | Dominique Perrin | Ivan Rapaport | Sergio Rica

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

Preface

JOURNAL ARTICLE published April 2013 in Theoretical Computer Science

Authors: Ilias S. Kotsireas | Bernard Mourrain | Victor Y. Pan | Lihong Zhi

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

No feasible monotone interpolation for simple combinatorial reasoning

JOURNAL ARTICLE published May 2000 in Theoretical Computer Science

Authors: Noriko H. Arai

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

Cohesion of object histories

JOURNAL ARTICLE published January 1989 in Theoretical Computer Science

Authors: Seymour Ginsburg | Chang-jie Tang

https://doi.org/10.1016/0304-3975(89)90067-4 Actions

Shape matching by random sampling

JOURNAL ARTICLE published July 2012 in Theoretical Computer Science

Authors: Helmut Alt | Ludmila Scharf

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

PTAS for connected vertex cover in unit disk graphs

JOURNAL ARTICLE published December 2009 in Theoretical Computer Science

Authors: Zhao Zhang | Xiaofeng Gao | Weili Wu

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

Techniques for parallel manipulation of sparse matrices

JOURNAL ARTICLE published May 1989 in Theoretical Computer Science

Authors: Clyde P. Kruskal | Larry Rudolph | Marc Snir

https://doi.org/10.1016/0304-3975(89)90058-3 Actions

Some undecidable termination problems for semi-Thue systems

JOURNAL ARTICLE published May 1995 in Theoretical Computer Science

Authors: Géraud Sénizergues

https://doi.org/10.1016/0304-3975(94)00278-9 Actions

Completing prefix codes in submonoids

JOURNAL ARTICLE published May 2006 in Theoretical Computer Science

Authors: Jean Néraud

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

Attribute grammars and recursive program schemes II

JOURNAL ARTICLE published 1982 in Theoretical Computer Science

Authors: Bruno Courcelle | Paul Franchi-Zannettacci

https://doi.org/10.1016/0304-3975(82)90024-x Actions

Time constrained graph searching

JOURNAL ARTICLE published June 2008 in Theoretical Computer Science

Authors: Brian Alspach | Danny Dyer | Denis Hanson | Boting Yang

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

M UFLP: Universal facility location problem in the p-th power of metric space

JOURNAL ARTICLE published October 2020 in Theoretical Computer Science

Research funded by National Natural Science Foundation of China (11901558) | National Natural Science Foundation of China (11531014,11871081) | Shenzhen (KQJSCX2018033017031 1901,JCYJ20180305180840138,GGFW2017073114031767) | National Natural Science Foundation of China (11801310)

Authors: Yicheng Xu | Dachuan Xu | Yong Zhang | Juan Zou

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

Gate elimination: Circuit size lower bounds and #SAT upper bounds

JOURNAL ARTICLE published April 2018 in Theoretical Computer Science

Research funded by MEXT (24106003) | JSPS (26330011,16H02782) | NSF (1319051) | Government of the Russian Federation (14.Z50.31.0030)

Authors: Alexander Golovnev | Alexander S. Kulikov | Alexander V. Smal | Suguru Tamaki

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

A process algebra of communicating shared resources with dense time and priorities

JOURNAL ARTICLE published December 1997 in Theoretical Computer Science

Authors: Patrice Brémond-Grégoire | Insup Lee

https://doi.org/10.1016/s0304-3975(96)00229-0 Actions

Realizability models for BLL-like languages

JOURNAL ARTICLE published June 2004 in Theoretical Computer Science

Authors: M. Hofmann | P.J. Scott

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