Facet browsing currently unavailable
Page 2 of 16646 results
Sort by: relevance publication year
Fourth workshop on theorem proving with analytic tableaux and related methods, May 7–10 1995 JOURNAL ARTICLE published November 1994 in Theoretical Computer Science |
Notes on finitely generated semigroups and pumping conditions for regular languages JOURNAL ARTICLE published 1986 in Theoretical Computer Science |
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) |
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) |
Cooperation in context-free grammars JOURNAL ARTICLE published June 1997 in Theoretical Computer Science |
A semantic framework for the abstract model checking of tccp programs JOURNAL ARTICLE published November 2005 in Theoretical Computer Science |
Synchronized finite automata and 2DFA reductions JOURNAL ARTICLE published July 1993 in Theoretical Computer Science |
Commutation properties and generating sets characterize slices of various synchronization primitives JOURNAL ARTICLE published June 1979 in Theoretical Computer Science |
Editorial Board JOURNAL ARTICLE published September 2015 in Theoretical Computer Science |
Meta-resolution: An algorithmic formalisation JOURNAL ARTICLE published October 1996 in Theoretical Computer Science |
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 |
Preface JOURNAL ARTICLE published November 2015 in Theoretical Computer Science |
Editorial Board JOURNAL ARTICLE published January 2012 in Theoretical Computer Science |
Editorial Board JOURNAL ARTICLE published March 2012 in Theoretical Computer Science |
Computing and the natural sciences at CiE 2005 JOURNAL ARTICLE published February 2007 in Theoretical Computer Science |
Subword complexity of uniform D0L words over finite groups JOURNAL ARTICLE published September 2011 in Theoretical Computer Science |
Introduction JOURNAL ARTICLE published September 1993 in Theoretical Computer Science |
Author index volume 81 JOURNAL ARTICLE published April 1991 in Theoretical Computer Science |
Editorial Board JOURNAL ARTICLE published August 2021 in Theoretical Computer Science |
Author index volume 43 (1986) JOURNAL ARTICLE published 1986 in Theoretical Computer Science |