Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 6 of 3826 results
Sort by: relevance publication year
Showing results for ISSN matching 0022-0000

k+ 1Heads are better than k for PDAs

JOURNAL ARTICLE published October 1988 in Journal of Computer and System Sciences

Authors: Marek Chrobak | Ming Li

https://doi.org/10.1016/0022-0000(88)90004-9 Actions

An expressive language for linear spatial database queries

JOURNAL ARTICLE published December 2004 in Journal of Computer and System Sciences

Authors: Luc Vandeurzen | Marc Gyssens | Dirk Van Gucht

https://doi.org/10.1016/j.jcss.2004.04.005 Actions

Ed. Board

JOURNAL ARTICLE published November 2003 in Journal of Computer and System Sciences

https://doi.org/10.1016/s0022-0000(03)00156-9 Actions

C4 - TOC

JOURNAL ARTICLE published May 2003 in Journal of Computer and System Sciences

https://doi.org/10.1016/s0022-0000(03)00090-4 Actions

Bounded AFLs

JOURNAL ARTICLE published June 1976 in Journal of Computer and System Sciences

Authors: J. Goldstine

https://doi.org/10.1016/s0022-0000(76)80010-4 Actions

Solving parity games by a reduction to SAT

JOURNAL ARTICLE published March 2012 in Journal of Computer and System Sciences

Authors: Keijo Heljanko | Misa Keinänen | Martin Lange | Ilkka Niemelä

https://doi.org/10.1016/j.jcss.2011.05.004 Actions

Author index for volume 46

JOURNAL ARTICLE published June 1993 in Journal of Computer and System Sciences

https://doi.org/10.1016/0022-0000(93)90012-l Actions

On denotational versus predicative semantics

JOURNAL ARTICLE published February 1991 in Journal of Computer and System Sciences

Authors: Manfred Broy | Christian Lengauer

https://doi.org/10.1016/0022-0000(91)90037-6 Actions

Monotonic hybrid systems

JOURNAL ARTICLE published July 2005 in Journal of Computer and System Sciences

Authors: Ruggero Lanotte | Andrea Maggiolo-Schettini

https://doi.org/10.1016/j.jcss.2004.11.003 Actions

k-distinct in- and out-branchings in digraphs

JOURNAL ARTICLE published August 2018 in Journal of Computer and System Sciences

Authors: Gregory Gutin | Felix Reidl | Magnus Wahlström

https://doi.org/10.1016/j.jcss.2018.01.003 Actions

An approximation trichotomy for Boolean #CSP

JOURNAL ARTICLE published May 2010 in Journal of Computer and System Sciences

Authors: Martin Dyer | Leslie Ann Goldberg | Mark Jerrum

https://doi.org/10.1016/j.jcss.2009.08.003 Actions

Hitting minors on bounded treewidth graphs. III. Lower bounds

JOURNAL ARTICLE published May 2020 in Journal of Computer and System Sciences

Authors: Julien Baste | Ignasi Sau | Dimitrios M. Thilikos

https://doi.org/10.1016/j.jcss.2019.11.002 Actions

Normal Forms and Conservative Extension Properties for Query Languages over Collection Types

JOURNAL ARTICLE published June 1996 in Journal of Computer and System Sciences

Authors: Limsoon Wong

https://doi.org/10.1006/jcss.1996.0037 Actions

Satisfying more than half of a system of linear equations over GF(2): A multivariate approach

JOURNAL ARTICLE published June 2014 in Journal of Computer and System Sciences

Research funded by AGAPE (ANR-09-BLAN-0159)

Authors: R. Crowston | M. Fellows | G. Gutin | M. Jones | E.J. Kim | F. Rosamond | I.Z. Ruzsa | S. Thomassé | A. Yeo

https://doi.org/10.1016/j.jcss.2013.10.002 Actions

A Dichotomy Theorem for Maximum Generalized Satisfiability Problems

JOURNAL ARTICLE published December 1995 in Journal of Computer and System Sciences

Authors: N. Creignou

https://doi.org/10.1006/jcss.1995.1087 Actions

Autoreducibility, mitoticity, and immunity

JOURNAL ARTICLE published August 2007 in Journal of Computer and System Sciences

Authors: Christian Glaßer | Mitsunori Ogihara | A. Pavan | Alan L. Selman | Liyu Zhang

https://doi.org/10.1016/j.jcss.2006.10.020 Actions

A linear-time algorithm for a special case of disjoint set union

JOURNAL ARTICLE published April 1985 in Journal of Computer and System Sciences

Authors: Harold N. Gabow | Robert Endre Tarjan

https://doi.org/10.1016/0022-0000(85)90014-5 Actions

An O(EVIog2V) algorithm for the maximal flow problem

JOURNAL ARTICLE published October 1980 in Journal of Computer and System Sciences

Authors: Zvi Galil | Amnon Naamad

https://doi.org/10.1016/0022-0000(80)90035-5 Actions

Efficient Asynchronous Simulation of a Class of Synchronous Parallel Algorithms

JOURNAL ARTICLE published February 1995 in Journal of Computer and System Sciences

Authors: N. Nishimura

https://doi.org/10.1006/jcss.1995.1010 Actions

Editorial Board

JOURNAL ARTICLE published January 2009 in Journal of Computer and System Sciences

https://doi.org/10.1016/s0022-0000(08)00102-5 Actions
Feedback: support@crossref.org