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

Fourth workshop on theorem proving with analytic tableaux and related methods, May 7–10 1995

JOURNAL ARTICLE published November 1994 in Theoretical Computer Science

https://doi.org/10.1016/0304-3975(94)90252-6 Actions

Notes on finitely generated semigroups and pumping conditions for regular languages

JOURNAL ARTICLE published 1986 in Theoretical Computer Science

Authors: Kosaburo Hashiguchi

https://doi.org/10.1016/0304-3975(86)90021-6 Actions

Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives

JOURNAL ARTICLE published March 2015 in Theoretical Computer Science

Research funded by FWF (P 23499-N23) | FWF (S11407-N23) | ERC (279307) | NSF (CCF-1215883)

Authors: Krishnendu Chatterjee | Manas Joglekar | Nisarg Shah

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

Some sufficient conditions for 1-planar graphs to be Class 1

JOURNAL ARTICLE published February 2015 in Theoretical Computer Science

Research funded by NSFC (11271006)

Authors: Wenwen Zhang | Jian-Liang Wu

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

Cooperation in context-free grammars

JOURNAL ARTICLE published June 1997 in Theoretical Computer Science

Authors: Jürgen Dassow | Victor Mitrana

https://doi.org/10.1016/s0304-3975(96)00330-1 Actions

A semantic framework for the abstract model checking of tccp programs

JOURNAL ARTICLE published November 2005 in Theoretical Computer Science

Authors: María Alpuente | María del Mar Gallardo | Ernesto Pimentel | Alicia Villanueva

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

Synchronized finite automata and 2DFA reductions

JOURNAL ARTICLE published July 1993 in Theoretical Computer Science

Authors: Oscar H. Ibarra | Nicholas Q. Trân

https://doi.org/10.1016/0304-3975(93)90119-e Actions

Commutation properties and generating sets characterize slices of various synchronization primitives

JOURNAL ARTICLE published June 1979 in Theoretical Computer Science

Authors: Danny Dolev

https://doi.org/10.1016/0304-3975(79)90018-5 Actions

Editorial Board

JOURNAL ARTICLE published September 2015 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(15)00699-4 Actions

Meta-resolution: An algorithmic formalisation

JOURNAL ARTICLE published October 1996 in Theoretical Computer Science

Authors: Jean-Denis Fouks | Jean-Claude Spehner

https://doi.org/10.1016/0304-3975(95)00155-7 Actions

WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model

JOURNAL ARTICLE published December 2007 in Theoretical Computer Science

Authors: Dominique Geniet | Gaëlle Largeteau

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

Preface

JOURNAL ARTICLE published November 2015 in Theoretical Computer Science

Authors: Zhao Zhang | Lidong Wu | Ding-Zhu Du

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

Editorial Board

JOURNAL ARTICLE published January 2012 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(11)00922-4 Actions

Editorial Board

JOURNAL ARTICLE published March 2012 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(12)00169-7 Actions

Computing and the natural sciences at CiE 2005

JOURNAL ARTICLE published February 2007 in Theoretical Computer Science

Authors: Thomas Bäck | Benedikt Löwe

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

Subword complexity of uniform D0L words over finite groups

JOURNAL ARTICLE published September 2011 in Theoretical Computer Science

Authors: Ilya Goldstein

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

Introduction

JOURNAL ARTICLE published September 1993 in Theoretical Computer Science

Authors: Branislav Rovan

https://doi.org/10.1016/0304-3975(93)90359-2 Actions

Author index volume 81

JOURNAL ARTICLE published April 1991 in Theoretical Computer Science

https://doi.org/10.1016/0304-3975(91)90201-c Actions

Editorial Board

JOURNAL ARTICLE published August 2021 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(21)00383-2 Actions

Author index volume 43 (1986)

JOURNAL ARTICLE published 1986 in Theoretical Computer Science

https://doi.org/10.1016/0304-3975(86)90186-6 Actions
Feedback: support@crossref.org