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

Journals (0)

1-10 of 110 results for Proof-executions

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: A Logically Justified Model of Computation I

Retricted access

Research article

First published 1981

A Logically Justified Model of Computation I

Pierangelo Miglioli, Mario Ornaghi

Fundamenta Informaticae

Select article: Review: The Bullet Proof Executive: Armour-Plated Strategies for Career Success,If You're Employed or Not!

Retricted access

Book review

First published 1998-10

Review: The Bullet Proof Executive: Armour-Plated Strategies for Career Success,If You're Employed or Not!

Hitendra Pillay

Australian Journal of Career Development

Select article: A virtual reality-based system integrated with fmri to study neural mechanisms of action observation-execution: A proof of concept study

Retricted access

Research article

First published 2009-6

A virtual reality-based system integrated with fmri to study neural mechanisms of action observation-execution: A proof of concept study

S.V. Adamovich, K. August, A. Merians [...]

Restorative Neurology and Neuroscience

Select article: Elementary Complexity and Geometry of Interaction

Retricted access

Research article

First published 2001-2

Elementary Complexity and Geometry of Interaction

Patrick Baillot, Marco Pedicini

Fundamenta Informaticae

Select article: Can Proofs be Animated by Games?

Retricted access

Research article

First published 2007-5

Can Proofs be Animated by Games?

Susumu Hayashi

Fundamenta Informaticae

Select article: Adding Partial Orders to Linear Temporal Logic

Retricted access

Research article

First published 1998-10

Adding Partial Orders to Linear Temporal Logic

Girish Bhat, Doron Peled

Fundamenta Informaticae

Select article: Interactive verification of concurrent systems using symbolic execution

Retricted access

Research article

First published 2010-5

Interactive verification of concurrent systems using symbolic execution

Simon Bäumler, Michael Balser, Florian Nafz [...]

The European Journal on Artificial Intelligence

Select article: A Value-Critical Policy Analysis of Georgia’s Beyond a Reasonable Doubt Standard of Proof of Intellectual Disability

Retricted access

Research article

First published 2019-6

A Value-Critical Policy Analysis of Georgia’s Beyond a Reasonable Doubt Standard of Proof of Intellectual Disability

Lauren A. Ricciardelli, Kristina Jaskyte

Journal of Disability Policy Studies

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

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

Select article: Proving Yourself: How Top Executives Relate Their Leadership Experience

Retricted access

Research article

First published 2025-7

Proving Yourself: How Top Executives Relate Their Leadership Experience

Ellen S. O’Connor, Denise M. Lucy

International Journal of Business Communication

1
2
3
•••
11
10 / page

Article type

Publication date

Subjects

Access