Sciweavers

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

89

Voted

TLCA
1997
Springer

89views Theoretical Computer Science» more TLCA 1997»

Names, Equations, Relations: Practical Ways to Reason about new

15 years 7 months ago

Names, Equations, Relations: Practical Ways to Reason about new

Download www.brics.dk

Ian Stark

Real-time Traffic

Theoretical Computer Science | TLCA 1997 |

claim paper

Related Content

» On Automating the Calculus of Relations

» A Category of Explicit Fusions

» State Space Reduction of Rewrite Theories Using Invisible Transitions

» Abstracting the Differential Semantics of RuleBased Models Exact and Automated Model Reduc...

» Rational Belief Revision

» Provable Implementations of Security Protocols

» Merging news reports that describe events

» Exploring the contribution of information technology to governance risk management and com...

» Enterprise Knowledge Management and Conceptual Modelling

Post Info
More Details (n/a)

Added	08 Aug 2010
Updated	08 Aug 2010
Type	Conference
Year	1997
Where	TLCA
Authors	Ian Stark

Comments (0)