Search Sciweavers | Sciweavers

2145 search results - page 25 / 429

» Lax Logical Relations

click to vote

ECEASST
2007

58views more ECEASST 2007»

Automatic Visualization of Relational Logic Models

13 years 7 months ago

Download sdg.csail.mit.edu

Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, ...

claim paper

Read More »

click to vote

TCS
2008

90views Theoretical Computer Science» more TCS 2008»

Cryptographic logical relations

13 years 7 months ago

Download www-sop.inria.fr

Yu Zhang

claim paper

Read More »

click to vote

CSL
1998
Springer

93views Automated Reasoning» more CSL 1998»

Logical Relations and Inductive/Coinductive Types

13 years 7 months ago

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

click to vote

FUIN
2008

72views more FUIN 2008»

Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics

13 years 7 months ago

Download www.inf.u-szeged.hu

Zoltán Ésik, Szabolcs Iván

claim paper

Read More »

click to vote

CORR
2010
Springer

61views Education» more CORR 2010»

Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

13 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers