Sage Journals: Discover world-class research

Retricted access

Research article

First published 2015-12

Asymptotic Collusion-proofness of Voting Rules: The Case of Large Number of Candidates

Palash Dey, Y. Narahari

Studies in Microeconomics

Retricted access

Research article

First published 1998-7

A Proof Theoretic View of Constraint Programming

Krzysztof R. Apt

Fundamenta Informaticae

Open access

Research article

First published 2024-3

The Burden of Proof in Taxation Disputes: Does Section 170 or Part IVA of the Income Tax Assessment Act 1936 (Cth) Offend the Rule of Law?

Max Bruce

Federal Law Review

Retricted access

Research article

First published 2017-1

Exclusion of illegally obtained confessions in China

Zhiyuan Guo

The International Journal of Evidence & Proof

Retricted access

Research article

First published 2007-10

Judgment Aggregation By Quota Rules

Franz Dietrich, Christian List

Journal of Theoretical Politics

Retricted access

Research article

First published 2022-06

Mindfulness-based intervention and aggression and rule-breaking behaviours in elementary school boys: a proof of concept trial

Maedeh Heidary, Touraj Hashemi Nosrat Abad, Wolfgang Linden

Journal of Psychologists and Counsellors in Schools

Open access

Research article

First published 2022-6

Reshaping Digital Competition: The New Platform Regulations and the Future of Modern Antitrust

Elias Deutscher

The Antitrust Bulletin

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 2013-9

Proving Theorems by Program Transformation

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2007-5

Tutorial Examples of the Semantic Approach to Foundational Proof-Carrying Code

Amy P. Felty

Fundamenta Informaticae

Search results