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

Journals (0)

1-10 of 24 results for algebraic proof system

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Nonmonotonic Proof Systems: Algebraic Foundations

Retricted access

Research article

First published 2004-1

Nonmonotonic Proof Systems: Algebraic Foundations

Sujata Ghosh, Mihir Kr. Chakraborty

Fundamenta Informaticae

Select article: Complexity of Semialgebraic Proofs with Restricted Degree of Falsity 1 2

Open access

Research article

First published 2010-2

Complexity of Semialgebraic Proofs with Restricted Degree of Falsity 1 2

Edward A. Hirsch, Arist Kojevnikov, Alexander S. Kulikov [...]

Journal on Satisfiability,Boolean Modelling and Computation

Select article: Mechanized reasoning in Homological Algebra

Retricted access

Research article

First published 2008-11

Mechanized reasoning in Homological Algebra

Jesús Aransay

The European Journal on Artificial Intelligence

Select article: A Pragmatic Approach to Extending Provers by Computer Algebra — with Applications to Coding Theory

Retricted access

Research article

First published 1999-8

A Pragmatic Approach to Extending Provers by Computer Algebra — with Applications to Coding Theory

Clemens Ballarin, Lawrence C. Paulson

Fundamenta Informaticae

Select article: A Relational Logic for Spatial Contact Based on Rough Set Approximation

Retricted access

Research article

First published 2016

A Relational Logic for Spatial Contact Based on Rough Set Approximation

Ivo Düntsch, Ewa Orłowska, Hui Wang

Fundamenta Informaticae

Select article: The Algebra of Expansion

Retricted access

Research article

First published 2012-12

The Algebra of Expansion

Sébastien Carlier, J.B. Wells

Fundamenta Informaticae

Select article: Reuleaux Pairs and Surfaces That Cannot Be Gripped

Retricted access

Other

First published 1989-10

Reuleaux Pairs and Surfaces That Cannot Be Gripped

J.M. Selig, J. Rooney

The International Journal of Robotics Research

Select article: Proving Nets Correct via Cause-Effect Structures (An Experiment)

Retricted access

Research article

First published 2003-2

Proving Nets Correct via Cause-Effect Structures (An Experiment)

Ludwik Czaja

Fundamenta Informaticae

Select article: Computational soundness of symbolic zero-knowledge proofs *

Retricted access

Research article

First published 2010-9-20

Computational soundness of symbolic zero-knowledge proofs *

Michael Backes, Dominique Unruh

Journal of Computer Security

Select article: First and Second Order Recursion on Abstract Data Types

Retricted access

Research article

First published 2005-9

First and Second Order Recursion on Abstract Data Types

Jian Xu, Jeffery Zucker

Fundamenta Informaticae

1
2
3
10 / page

Article type

Publication date

Subjects

Access