Sciweavers

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

9

CORR
2009
Springer

favoriteEmaildiscussreport

79views Education» more CORR 2009»

Characteristic Formulae for Fixed-Point Semantics: A General Framework

13 years 2 months ago

Characteristic Formulae for Fixed-Point Semantics: A General Framework

Download www.ru.is

Luca Aceto, Anna Ingólfsdóttir, Josh

Real-time Traffic

CORR 2009 | Education |

claim paper

Related Content

» Automata and fixed point logic A coalgebraic perspective

» New insights from a fixed point analysis of single cell IEEE 80211 WLANs

» A General Framework for Probabilistic Characterizing Formulae

» Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas w...

» Infinitary Control Flow Analysis a Collecting Semantics for Closure Analysis

» Characteristic scores and scales in a Lotkaian framework

» An algebraic framework for temporal attribute characteristics

» Parallel Belief Revision

» Parametrized Logic Programming

Post Info
More Details (n/a)

Added	16 Feb 2011
Updated	16 Feb 2011
Type	Journal
Year	2009
Where	CORR
Authors	Luca Aceto, Anna Ingólfsdóttir, Joshua Sack

Comments (0)