Rasiowa-Sikorski deduction systems in computer science applications

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.286, Iss.2, 2002-09, pp. : 323-366

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Properties of Hybrid Systems—A Computer Science Perspective

By Stauner Thomas

Formal Methods in System Design, Vol. 24, Iss. 3, 2004-05 ,pp. : 223-259

Springer Publishing Company

Access to resources Recommend Favorite

Contemporary Computer Supported Collaboration: Systems, Technologies, Algorithms, and Applications

CONCURRENCY AND COMPUTATION: PRACTICE & EXPERIENCE (ELECTRONIC), Vol. 27, Iss. 11, 2015-08 ,pp. : 2681-2685

John Wiley & Sons Inc

Access to resources Recommend Favorite

Computer science in support of high-performance applications: Papers from the 2004 lacsi symposium

By Oldehoeft Rod

The Journal of Supercomputing, Vol. 36, Iss. 2, 2006-05 ,pp. : 99-100

Springer Publishing Company

Access to resources Recommend Favorite

Completion of Rewrite Systems with Membership Constraints Part I: Deduction Rules

By Comon H.

Journal of Symbolic Computation, Vol. 25, Iss. 4, 1998-04 ,pp. : 397-419

Academic Press

Access to resources Recommend Favorite

Intuitionistic and classical natural deduction systems with the catch and the throw rules

By Sato M.

Theoretical Computer Science, Vol. 175, Iss. 1, 1997-03 ,pp. : 75-92

Elsevier

Access to resources Recommend Favorite