Sage Journals: Discover world-class research

Retricted access

Research article

First published 2018

Proof of Multicopy via Proof of File Position in Cloud

Huajun Zhang, Zhenfu Cao, Xiaolei Dong [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2017-1

The nature of juridical proof

Ronald J. Allen

The International Journal of Evidence & Proof

Retricted access

Research article

First published 2019-4

Abduction,IBE and standards of proof

Giovanni Tuzet

The International Journal of Evidence & Proof

Retricted access

Research article

First published 2011-1

Proof-graphs: a Thorough Cycle Treatment,Normalization and Subformula Property

Gleifer V. Alves, Anjolina G. de Oliveira, Ruy de Queiroz

Fundamenta Informaticae

Retricted access

Research article

First published 2015-10

The Myth of Coup-proofing

Holger Albrecht

Armed Forces & Society

Open access

Research article

First published 2024-6

Proof Complexity of Propositional Model Counting

Olaf Beyersdorff, Tim Hoffmann, Luc N. Spachmann

Journal on Satisfiability,Boolean Modelling and Computation

Free access

Research article

First published 2010-2

Formal Correctness Proof for DPLL Procedure

Filip Marić, Predrag Janičić

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2019-4

Plausibility and probability in juridical proof

Marcello Di Bello

The International Journal of Evidence & Proof

Retricted access

Research article

First published 2007-9

Optimal Proof Systems,Optimal Acceptors and Recursive Presentability

Zenon Sadowski

Fundamenta Informaticae

Retricted access

Research article

First published 2017-1

The ‘mirror of evidence’ and the plausibility of judicial proof

Baosheng Zhang, Jia Cao

The International Journal of Evidence & Proof

Search results