Facet browsing currently unavailable
Page 1 of 3823 results
Sort by: relevance publication year
Hierarchies of turing machines with restricted tape alphabet size JOURNAL ARTICLE published August 1975 in Journal of Computer and System Sciences |
The complexity of the temporal logic with “until” over general linear time JOURNAL ARTICLE published March 2003 in Journal of Computer and System Sciences |
Papers to Appear in Forthcoming Issues JOURNAL ARTICLE published February 2001 in Journal of Computer and System Sciences |
Modifications of the program scheme model JOURNAL ARTICLE published June 1979 in Journal of Computer and System Sciences |
Analysis of bounded linear cellular automata based on a method of image charges JOURNAL ARTICLE published December 1986 in Journal of Computer and System Sciences |
Guest Editors’ foreword JOURNAL ARTICLE published May 2005 in Journal of Computer and System Sciences |
Editorial Board JOURNAL ARTICLE published February 1976 in Journal of Computer and System Sciences |
Selective monitoring JOURNAL ARTICLE published May 2021 in Journal of Computer and System Sciences Research funded by EPSRC (EP/R012261/1) |
A branching time logic with past operators JOURNAL ARTICLE published October 1994 in Journal of Computer and System Sciences |
A Fault-Tolerance Model for Multiprocessor Real-Time Systems JOURNAL ARTICLE published December 2000 in Journal of Computer and System Sciences |
Papers to Appear in Forthcoming Issues JOURNAL ARTICLE published December 2000 in Journal of Computer and System Sciences |
Learnability: Admissible, Co-Finite, and Hypersimple Languages JOURNAL ARTICLE published August 1996 in Journal of Computer and System Sciences |
Prediction of short-lived TCP transfer latency on bandwidth asymmetric links JOURNAL ARTICLE published November 2006 in Journal of Computer and System Sciences |
A technique for decomposing algorithms which use a single shared variable JOURNAL ARTICLE published December 1983 in Journal of Computer and System Sciences |
Effective computation of immersion obstructions for unions of graph classes JOURNAL ARTICLE published February 2014 in Journal of Computer and System Sciences |
On the convergence of nonlinear simultaneous displacements JOURNAL ARTICLE published February 1969 in Journal of Computer and System Sciences |
Author index for volume 44 JOURNAL ARTICLE published June 1992 in Journal of Computer and System Sciences |
Contents JOURNAL ARTICLE published June 2008 in Journal of Computer and System Sciences |
Contents JOURNAL ARTICLE published September 2010 in Journal of Computer and System Sciences |
Better bounds for minimizing SONET ADMs JOURNAL ARTICLE published February 2009 in Journal of Computer and System Sciences |