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

Set systems: Order types, continuous nondeterministic deformations, and quasi-orders

JOURNAL ARTICLE published October 2011 in Theoretical Computer Science

Authors: Yohji Akama

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

FPTASs for trimming weighted trees

JOURNAL ARTICLE published January 2013 in Theoretical Computer Science

Research funded by National Natural Science Foundation of China (60903007)

Authors: Mingyu Xiao | Takuro Fukunaga | Hiroshi Nagamochi

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

The Frobenius problem for homomorphic embeddings of languages into the integers

JOURNAL ARTICLE published July 2018 in Theoretical Computer Science

Authors: Michel Dekking

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

Some undecidability results concerning the property of preserving regularity

JOURNAL ARTICLE published October 1998 in Theoretical Computer Science

Authors: Friedrich Otto

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

Editorial

JOURNAL ARTICLE published July 2022 in Theoretical Computer Science

Authors: Lila Kari

https://doi.org/10.1016/s0304-3975(22)00370-x Actions

Preface: Algorithms, complexity and models of computation

JOURNAL ARTICLE published March 2009 in Theoretical Computer Science

Authors: S. Barry Cooper | Hong Zhu

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

Editorial Board

JOURNAL ARTICLE published August 2007 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(07)00537-3 Actions

Editorial Board

JOURNAL ARTICLE published January 2012 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(11)00902-9 Actions

Affine scheduling on bounded convex polyhedric domains is asymptotically optimal

JOURNAL ARTICLE published April 1998 in Theoretical Computer Science

Authors: Patrick Le Gouëslier d'Argence

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

Pushout-complements and basic concepts of grammars in toposes

JOURNAL ARTICLE published December 1990 in Theoretical Computer Science

Authors: Yasuo Kawahara

https://doi.org/10.1016/0304-3975(90)90171-d Actions

A short proof of representability of fork algebras

JOURNAL ARTICLE published November 1997 in Theoretical Computer Science

Authors: Viktor Gyuris

https://doi.org/10.1016/s0304-3975(96)00299-x Actions

A 32log 3-competitive algorithm for the counterfeit coin problem

JOURNAL ARTICLE published July 1997 in Theoretical Computer Science

Authors: Peng-Jun Wan | Qifan Yang | Dean Kelley

https://doi.org/10.1016/s0304-3975(96)00279-4 Actions

New results for finding common neighborhoods in massive graphs in the data stream model

JOURNAL ARTICLE published November 2008 in Theoretical Computer Science

Authors: A.L. Buchsbaum | R. Giancarlo | B. Racz

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

Foreword

JOURNAL ARTICLE published February 1995 in Theoretical Computer Science

Authors: M.W Mislove | G.M Reed | A.W Roscoe | R.F Wachter

https://doi.org/10.1016/0304-3975(12)90001-8 Actions

Using induction and rewriting to verify and complete parameterized specifications

JOURNAL ARTICLE published December 1996 in Theoretical Computer Science

Authors: Adel Bouhoula

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

Preface

JOURNAL ARTICLE published April 2012 in Theoretical Computer Science

Authors: Samson Abramsky | Michael Mislove | Catuscia Palamidessi

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

Partial learning of recursively enumerable languages

JOURNAL ARTICLE published March 2016 in Theoretical Computer Science

Research funded by NUS (R252-000-420-112) | Natural Sciences and Engineering Research Council of Canada (386246-2010)

Authors: Ziyuan Gao | Frank Stephan | Sandra Zilles

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

De la logique aux pavages

JOURNAL ARTICLE published June 2002 in Theoretical Computer Science

Authors: Bruno Durand

https://doi.org/10.1016/s0304-3975(02)00018-x Actions

Category-sorted algebra-based action semantics

JOURNAL ARTICLE published December 1990 in Theoretical Computer Science

Authors: Susan Even | David A. Schmidt

https://doi.org/10.1016/0304-3975(90)90116-y Actions

Existential type systems between Church and Curry style (type-free style)

JOURNAL ARTICLE published September 2014 in Theoretical Computer Science

Research funded by Grants-in-Aid for Scientific Research (〈KAKENHI〉 (C) 25400192) | Polish government (Ministry of Science and Higher Education) (N N206 355836)

Authors: Ken-etsu Fujita | Aleksy Schubert

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