Targeted News Service

Mathematical Structures in Computer Science Journal Issues Research Articles in August 2020 Edition
November 21, 2020

CAMBRIDGE, England, Nov. 21 -- Mathematical Structures in Computer Science, a journal of theoretical computer science that focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer science, published research articles on the following topics in its August 2020 edition:

Paper:

* NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability

* Forward analysis for WSTS, part . . .

Targeted News Service Document Request Form

This document is available to you by e-mail if you complete the form below with relevant information. There may be a fee for this article or ongoing service of similar materials. We will be in touch shortly.

Name:
What's your Affiliation	Government Newspaper / Media Business Public Policy Individual / Student Educators
Email:
Phone:
Organization, if any:
State/Country you are in:
Additonal questions or comments:

Click here for more information about our products

Existing Customer Login

Targeted News Service Document Request Form