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

Journals (0)

1-5 of 5 results for syntactic decision procedure

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Syntactic Complexity of Ultimately Periodic Sets of Integers and Application to a Decision Procedure

Retricted access

Research article

First published 2012-7

Syntactic Complexity of Ultimately Periodic Sets of Integers and Application to a Decision Procedure

Anne Lacroix, Narad Rampersad, Michel Rigo [...]

Fundamenta Informaticae

Select article: On Correctness of Decision Algorithms in Information Systems

Retricted access

Research article

First published 1988

On Correctness of Decision Algorithms in Information Systems

Anita Wasilewska

Fundamenta Informaticae

Select article: Deciding Clause Classes by Semantic Clash Resolution

Retricted access

Research article

First published 1993

Deciding Clause Classes by Semantic Clash Resolution

Alexander Leitsch

Fundamenta Informaticae

Select article: A decision procedure and typing result for alpha-beta privacy

Open access

Research article

First published 2026-1

A decision procedure and typing result for alpha-beta privacy

Laouen Fernet, Sebastian Mödersheim, Luca Viganò

Journal of Computer Security

Select article: Constructing Decision Procedures in Equational Clausal Logic

Retricted access

Research article

First published 2003-1

Constructing Decision Procedures in Equational Clausal Logic

Nicolas Peltier

Fundamenta Informaticae

1
10 / page

Article type

Publication date

Subjects

Access