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 (20)

Journals (0)

1-10 of 20 results for EXPTIME

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Relative Nondeterministic Information Logic is EXPTIME-complete

Retricted access

Research article

First published 2007-1

Relative Nondeterministic Information Logic is EXPTIME-complete

Stéphane Demri, Ewa Orłowska

Fundamenta Informaticae

Select article: ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic

Retricted access

Research article

First published 2016

ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic

Linh Anh Nguyen

Fundamenta Informaticae

Select article: An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ

Retricted access

Research article

First published 2014-12

An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ

Linh Anh Nguyen, Joanna Golińska-Pilarek

Fundamenta Informaticae

Select article: Characterizing time computational complexity classes with polynomial differential equations

Retricted access

Research article

First published 2023-1-19

Characterizing time computational complexity classes with polynomial differential equations

Riccardo Gozzi, Daniel Graça

Computability

Select article: Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P

Retricted access

Research article

First published 2013-4

Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P

Jakub Chaloupka

Fundamenta Informaticae

Select article: Computational Complexity of Multimodal Logics \newline Based on Rough Sets

Retricted access

Research article

First published 2000-12

Computational Complexity of Multimodal Logics \newline Based on Rough Sets

Stéphane Demri, Jarosław Stepaniuk

Fundamenta Informaticae

Select article: Automata-Theoretic Decision Procedures for Information Logics

Retricted access

Research article

First published 2002-11

Automata-Theoretic Decision Procedures for Information Logics

Stéphane Demri, Ulrike Sattler

Fundamenta Informaticae

Select article: Research on the Computational Complexity of n x n Chinese Chess 1

Retricted access

Research article

First published 2015-3-1

Research on the Computational Complexity of n x n Chinese Chess 1

Qiang Gao, Xinhe Xu

ICGA Journal: The Journal of the Computer Games Community

Select article: From Tableaux to Automata for Description Logics

Retricted access

Research article

First published 2003-9

From Tableaux to Automata for Description Logics

Franz Baader, Jan Hladik, Carsten Lutz [...]

Fundamenta Informaticae

Select article: Checking Consistency of an ABox w.r.t. Global Assumptions in PDL

Retricted access

Research article

First published 2010-7

Checking Consistency of an ABox w.r.t. Global Assumptions in PDL

Linh Anh Nguyen, Andrzej Szałas

Fundamenta Informaticae

1
2
10 / page

Article type

Publication date

Subjects

Access