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

Regular semigroups with D = R as syntactic monoids of prefix codes

JOURNAL ARTICLE published October 1976 in Theoretical Computer Science

Authors: Gerard Lallement

https://doi.org/10.1016/0304-3975(76)90063-3 Actions

On generalized language equations

JOURNAL ARTICLE published 1981 in Theoretical Computer Science

Authors: Ernst Leiss

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

Determinacy and optimal strategies in infinite-state stochastic reachability games

JOURNAL ARTICLE published July 2013 in Theoretical Computer Science

Authors: Václav Brožek

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

ICALP, EATCS and Maurice Nivat

JOURNAL ARTICLE published June 2002 in Theoretical Computer Science

Authors: Grzegorz Rozenberg | Arto Salomaa

https://doi.org/10.1016/s0304-3975(02)00005-1 Actions

Adding closed world assumptions to well-founded semantics

JOURNAL ARTICLE published January 1994 in Theoretical Computer Science

Authors: Luís Moniz Pereira | JoséJ. Alferes | Joaquim N. Aparício

https://doi.org/10.1016/0304-3975(94)90201-1 Actions

Preface

JOURNAL ARTICLE published February 2002 in Theoretical Computer Science

Authors: J. Neraud

https://doi.org/10.1016/s0304-3975(00)00429-1 Actions

Extended regular expressions of star degree at most two

JOURNAL ARTICLE published November 1990 in Theoretical Computer Science

Authors: Kosaburo Hashiguchi | Heekeun Yoo

https://doi.org/10.1016/0304-3975(90)90021-9 Actions

Query learning of bounded-width OBDDs

JOURNAL ARTICLE published June 2000 in Theoretical Computer Science

Authors: Atsuyoshi Nakamura

https://doi.org/10.1016/s0304-3975(99)00267-4 Actions

Decidability of structural equivalence of E0L grammars

JOURNAL ARTICLE published May 1991 in Theoretical Computer Science

Authors: Kai Salomaa | Sheng Yu

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

TACAS 2003 Special Issue—Preface

JOURNAL ARTICLE published March 2006 in Theoretical Computer Science

Authors: Hubert Garavel | John Hatcliff

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

Editorial Board

JOURNAL ARTICLE published October 2007 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(07)00672-x Actions

Editorial Board

JOURNAL ARTICLE published February 2016 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(15)01212-8 Actions

On the concatenation of infinite traces

JOURNAL ARTICLE published May 1993 in Theoretical Computer Science

Authors: Volker Diekert

https://doi.org/10.1016/0304-3975(93)90209-c Actions

Semantics and logic of object calculi

JOURNAL ARTICLE published May 2004 in Theoretical Computer Science

Authors: Bernhard Reus | Thomas Streicher

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

Hyper-optimization for deterministic tree automata

JOURNAL ARTICLE published May 2015 in Theoretical Computer Science

Research funded by DFG (MA 4959/1-1)

Authors: Andreas Maletti

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

On some variations of two-way probabilistic finite automata models

JOURNAL ARTICLE published May 2007 in Theoretical Computer Science

Authors: Bala Ravikumar

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

Preface

JOURNAL ARTICLE published November 1995 in Theoretical Computer Science

Authors: Paul Gastin | Jan Rutten

https://doi.org/10.1016/0304-3975(95)90045-4 Actions

Index

JOURNAL ARTICLE published January 2001 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(00)00361-3 Actions

Random allocation of jobs with weights and precedence

JOURNAL ARTICLE published August 1996 in Theoretical Computer Science

Authors: Soumen Chakrabarti

https://doi.org/10.1016/0304-3975(96)00036-9 Actions

P, NP, Co-NP and weak systems of arithmetic

JOURNAL ARTICLE published February 1996 in Theoretical Computer Science

Authors: Claude Sureson

https://doi.org/10.1016/0304-3975(95)00099-2 Actions
Feedback: support@crossref.org