Sage Journals: Discover world-class research

Retricted access

Research article

First published 2020-2

Checking the consistency of Object-Z formal specification based on theorem proof

Weiqing Wan, Yongqing Yu, Qingyan Zeng [...]

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 1978-1

Tellegen's Proof of Thevenim's Theorem

W. Buijze

International Journal of Electrical Engineering & Education

Retricted access

Research article

First published 2008-06

A Mathematical Proof and Example That Bayes's Theorem Is Fundamental to Actuarial Estimates of Sexual Recidivism Risk

Theodore Donaldson, Richard Wollert

Sexual Abuse

Retricted access

Research article

First published 2019

Skolem’s Theorem in Coherent Logic

Marc Bezem, Thierry Coquand

Fundamenta Informaticae

Retricted access

Research article

First published 2019

Elementary Matrix-computational Proof of Quillen-Suslin Theorem for Ore Extensions

William Fajardo, Oswaldo Lezama

Fundamenta Informaticae

Retricted access

Research article

First published 2013-2-12

Efficient construction of machine-checked symbolic protocol security proofs

Simon Meier, Cas Cremers, David Basin

Journal of Computer Security

Retricted access

Research article

First published 2021-01-11

Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM

Tiziano Dalmonte, Sara Negri, Nicola Olivetti [...]

Intelligenza Artificiale

Retricted access

Research article

First published 1977

PPC (Pisa Proof Checker): a tool for experiments in theory of proving and mathematical theory of computation

Luigia Aiello, Mario Aiello, Giuseppe Attardi [...]

Fundamenta Informaticae

Retricted access

Research article

First published

Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND

Nicola Olivetti, Gian Luca Pozzato

Intelligenza Artificiale

Retricted access

Research article

First published 1991-3

An Alternative Proof of The Stolper-Samuelson Theorem

Raghunath Pradhan

The Indian Economic Journal

Search results