You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (47)

Journals (0)

1-10 of 47 results for PSPACE

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Solving a PSPACE-Complete Problem by Recognizing P Systems with Restricted Active Membranes

Retricted access

Research article

First published 2003-10

Solving a PSPACE-Complete Problem by Recognizing P Systems with Restricted Active Membranes

Artiom Alhazov, Carlos Martín-Vide, Linqiang Pan

Fundamenta Informaticae

Select article: The Nondeterministic Information Logic NIL is PSPACE-complete

Retricted access

Research article

First published 2000-7

The Nondeterministic Information Logic NIL is PSPACE-complete

Stéphane Demri

Fundamenta Informaticae

Select article: Stonehenge: Outcome of All First Moves and PSPACE-Completeness

Retricted access

Research article

First published 2010-3-1

Stonehenge: Outcome of All First Moves and PSPACE-Completeness

Yasuhiko Takenaga, Hikari Mori, Shigeki Iwata

ICGA Journal: The Journal of the Computer Games Community

Select article: Uniform Satisfiability in PSPACE for Local Temporal Logics Over Mazurkiewicz Traces

Retricted access

Research article

First published 2007-10

Uniform Satisfiability in PSPACE for Local Temporal Logics Over Mazurkiewicz Traces

Paul Gastin, Dietrich Kuske

Fundamenta Informaticae

Select article: On the Complexity of Motion Planning for Multiple Independent Objects;PSPACE- Hardness of the "Warehouseman's Problem"

Retricted access

Research article

First published 1984-12

On the Complexity of Motion Planning for Multiple Independent Objects;PSPACE- Hardness of the "Warehouseman's Problem"

J.E. Hopcroft, J.T. Schwartz, M. Sharir

The International Journal of Robotics Research

Select article: Complexity of the Soundness Problem of Workflow Nets

Retricted access

Research article

First published 2014-4

Complexity of the Soundness Problem of Workflow Nets

GuanJun Liu, Jun Sun, Yang Liu [...]

Fundamenta Informaticae

Select article: Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows

Retricted access

Research article

First published 2016

Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows

Paolo Marin, Massimo Narizzano, Luca Pulina [...]

Fundamenta Informaticae

Select article: Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic

Free access

Research article

First published 2008-11

Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic

Regimantas Pliuškevičius, Aida Pliuškevičienė

Informatica: An International Journal of Computing and Informatics

Select article: Online railway delay management: Hardness,simulation and computation

Retricted access

Research article

First published 2011-7

Online railway delay management: Hardness,simulation and computation

André Berger, Ralf Hoffmann, Ulf Lorenz [...]

SIMULATION

Select article: Completeness Results for Generalized Communication-free Petri Nets with Arbitrary Arc Multiplicities

Retricted access

Research article

First published 2016-3-4

Completeness Results for Generalized Communication-free Petri Nets with Arbitrary Arc Multiplicities

Ernst W. Mayr, Jeremias Weihmann

Fundamenta Informaticae

1
2
3
4
5
10 / page

Article type

Publication date

Subjects

Access