Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

16

IGPL
2008

favoriteEmaildiscussreport

78views more IGPL 2008»

Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems

13 years 6 months ago

Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems

Download wslc.math.ist.utl.pt

Luís Cruz-Filipe, Amílcar Sernadas,

Real-time Traffic

IGPL 2008 |

claim paper

Related Content

» A Deductive Proof System for Multithreaded Java with Exceptions

» Context Aware Calculation and Deduction

» LivenessPreserving Simulation Relations

» A Decision Method for Duration Calculus

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2008
Where	IGPL
Authors	Luís Cruz-Filipe, Amílcar Sernadas, Cristina Sernadas

Comments (0)