Facet browsing currently unavailable
Page 3 of 3823 results
Sort by: relevance publication year
Editors' foreword JOURNAL ARTICLE published December 1989 in Journal of Computer and System Sciences |
Editorial Board JOURNAL ARTICLE published December 2008 in Journal of Computer and System Sciences |
A kleene-like characterization of languages accepted by systolic tree automata JOURNAL ARTICLE published August 1994 in Journal of Computer and System Sciences |
Editors' foreword JOURNAL ARTICLE published June 1983 in Journal of Computer and System Sciences |
Comparison of Functional and Predicative Query Paradigms JOURNAL ARTICLE published February 1997 in Journal of Computer and System Sciences |
Measuring what matters: A hybrid approach to dynamic programming with treewidth JOURNAL ARTICLE published November 2021 in Journal of Computer and System Sciences |
Relations between communication complexity classes JOURNAL ARTICLE published December 1990 in Journal of Computer and System Sciences |
Reducing the Number of Solutions of NP Functions JOURNAL ARTICLE published March 2002 in Journal of Computer and System Sciences |
Is distributed locking harder? JOURNAL ARTICLE published February 1984 in Journal of Computer and System Sciences |
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 |