Search Sciweavers | Sciweavers

1894 search results - page 33 / 379

» A TLA Proof System

click to vote

MSCS
2007

76views more MSCS 2007»

A duality between proof systems for cyclic term graphs

13 years 10 months ago

Download www.phil.uu.nl

Clemens Grabmayer

claim paper

Read More »

click to vote

LOGCOM
2010

75views more LOGCOM 2010»

A Proof System for Abstract Non-interference

13 years 9 months ago

Download profs.sci.univr.it

Roberto Giacobazzi, Isabella Mastroeni

claim paper

Read More »

click to vote

MFCS
2010
Springer

111views Theoretical Computer Science» more MFCS 2010»

Proof Systems and Transformation Games

13 years 9 months ago

Download www.csc.liv.ac.uk

We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...

Yoram Bachrach, Michael Zuckerman, Michael Wooldri...

claim paper

Read More »

click to vote

TAMC
2010
Springer

219views Applied Computing» more TAMC 2010»

Different Approaches to Proof Systems

13 years 8 months ago

Download www.thi.uni-hannover.de

Olaf Beyersdorff, Sebastian Müller

claim paper

Read More »

click to vote

IANDC
2011

59views more IANDC 2011»

Proof systems that take advice

13 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers