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

Compositional SOS and beyond: a coalgebraic view of open systems

JOURNAL ARTICLE published May 2002 in Theoretical Computer Science

Authors: Andrea Corradini | Reiko Heckel | Ugo Montanari

https://doi.org/10.1016/s0304-3975(01)00025-1 Actions

Submodule construction as equation solving in CCS

JOURNAL ARTICLE published October 1989 in Theoretical Computer Science

Authors: Joachim Parrow

https://doi.org/10.1016/0304-3975(89)90128-x Actions

Pushing the frontier of minimality

JOURNAL ARTICLE published October 2018 in Theoretical Computer Science

Research funded by Science Foundation Ireland (SFI/12/RC/2289)

Authors: Guillaume Escamocher | Barry O'Sullivan

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

Topological adjacency relations on Zn

JOURNAL ARTICLE published June 2002 in Theoretical Computer Science

Authors: T.Y. Kong

https://doi.org/10.1016/s0304-3975(01)00050-0 Actions

Editorial Board

JOURNAL ARTICLE published May 2023 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(23)00233-5 Actions

Boundary properties of graphs for algorithmic graph problems

JOURNAL ARTICLE published July 2011 in Theoretical Computer Science

Authors: Nicholas Korpelainen | Vadim V. Lozin | Dmitriy S. Malyshev | Alexander Tiskin

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

Extending algebraic operations to D-completions

JOURNAL ARTICLE published April 2012 in Theoretical Computer Science

Authors: Klaus Keimel | Jimmie D. Lawson

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

Local search is a PTAS for feedback vertex set in minor-free graphs

JOURNAL ARTICLE published October 2020 in Theoretical Computer Science

Authors: Hung Le | Baigong Zheng

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

Satisfying ternary permutation constraints by multiple linear orders or phylogenetic trees

JOURNAL ARTICLE published January 2016 in Theoretical Computer Science

Authors: Leo van Iersel | Steven Kelk | Nela Lekić | Simone Linz

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

Author index

JOURNAL ARTICLE published March 2003 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(03)00124-5 Actions

Catalan structures and Catalan pairs

JOURNAL ARTICLE published September 2013 in Theoretical Computer Science

Authors: S. Bilotta | F. Disanto | R. Pinzani | S. Rinaldi

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

Sparse solutions of sparse linear systems: Fixed-parameter tractability and an application of complex group testing

JOURNAL ARTICLE published November 2013 in Theoretical Computer Science

Authors: Peter Damaschke

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

Algorithms and Computation (ISAAC 2012)

JOURNAL ARTICLE published August 2014 in Theoretical Computer Science

Authors: Kun-Mao Chao | Tsan-sheng Hsu | D.T. Lee

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

Editorial Board

JOURNAL ARTICLE published December 2012 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(12)00918-8 Actions

All-to-all broadcast problems on Cartesian product graphs

JOURNAL ARTICLE published January 2016 in Theoretical Computer Science

Research funded by National Science Council Taiwan (NSC102-2115-M-003-008-) | National Science Council Taiwan (NSC101-2115-M-156-003-) | National Science Council Taiwan (NSC100-2115-M-259-005-MY2)

Authors: Fei-Huang Chang | Ma-Lian Chia | David Kuo | Sheng-Chyang Liaw | Jen-Chun Ling

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

Partial specifications and compositional verification

JOURNAL ARTICLE published September 1991 in Theoretical Computer Science

Authors: Kim G. Larsen | Bent Thomsen

https://doi.org/10.1016/0304-3975(91)90071-9 Actions

Editorial board v-ix

JOURNAL ARTICLE published June 2004 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(04)00274-9 Actions

On switching classes, NLC-width, cliquewidth and treewidth

JOURNAL ARTICLE published April 2012 in Theoretical Computer Science

Authors: Hans L. Bodlaender | Jurriaan Hage

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

Constructive metrisability in point-free topology

JOURNAL ARTICLE published August 2003 in Theoretical Computer Science

Authors: Giovanni Curi

https://doi.org/10.1016/s0304-3975(02)00699-0 Actions

Quasi-deterministic OL systems and their representation

JOURNAL ARTICLE published August 1995 in Theoretical Computer Science

Authors: Taishin Y. Nishida

https://doi.org/10.1016/0304-3975(94)00250-m Actions
Feedback: support@crossref.org