Sage Journals: Discover world-class research

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 2014-8

A knowledge-based interactive verifier for logic programs

Emmanouil Marakakis, Haridimos Kondylakis, Nikos Papadakis

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 2022

Characteristics of de Bruijn’s early proof checker Automath

Herman Geuvers, Rob Nederpelt

Fundamenta Informaticae

Retricted access

Research article

First published 2006-4

Towards Integrated Verification of Timed Transition Models

Mark Lawford, Vera Pantelic, Hong Zhang

Fundamenta Informaticae

Retricted access

Research article

First published 2012-9-1

Game-Tree Search Using Proof Numbers: The First Twenty Years

Akihiro Kishimoto, Mark H.M. Winands, Martin Müller [...]

ICGA Journal: The Journal of the Computer Games Community

Retricted access

Research article

First published 2000-7

Towards Automated Consistency Checking of Module Interface Specifications

Marcin Engel, Artur Kret, Janina Mincer-Daszkiewicz

Fundamenta Informaticae

Retricted access

Research article

First published 2014-2-20

Union,intersection and refinement types and reasoning about type disjointness for secure protocol implementations

Michael Backes, Cătălin Hriţcu, Matteo Maffei

Journal of Computer Security

Retricted access

Research article

First published 2019

Certifying Dictionary Construction in Isabelle/HOL

Lars Hupel

Fundamenta Informaticae

Retricted access

Research article

First published 1999-4-1

Proving security protocols with model checkers by data independence techniques

A.W. Roscoe, P.J. Broadfoot

Journal of Computer Security

Retricted access

Research article

First published 2013-12-1

Gardner’s Minichess Variant is Solved

Mehdi Mhalla, Frédéric Prost

ICGA Journal: The Journal of the Computer Games Community

Search results