Period of time： 2010年4-5期
Publisher： Edp Sciences
Founded in： 1999
Total resources： 83
E-ISSN： 1290-385x|33|4-5
ISSN： 0988-3754
Subject： X Environmental Science, Safety Science
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
RAIRO - Theoretical Informatics and Applications,volume 33,issue 4-5
Menu
Monotone (co)inductive types and positive fixed-point types
RAIRO - Theoretical Informatics and Applications,volume 33,issue 4-5 , Vol. 33, Iss. 4-5, 2010-03 , pp.
Access to resources
Recommend
The
Fixpoint alternation: arithmetic, transition systems, and the binary tree
RAIRO - Theoretical Informatics and Applications,volume 33,issue 4-5 , Vol. 33, Iss. 4-5, 2010-03 , pp.Topologies, Continuity and Bisimulations
RAIRO - Theoretical Informatics and Applications,volume 33,issue 4-5 , Vol. 33, Iss. 4-5, 2010-03 , pp.A Note on Negative Tagging for Least Fixed-Point Formulae
By Gurov Dilian,Kapron Bruce in (2010)
RAIRO - Theoretical Informatics and Applications,volume 33,issue 4-5 , Vol. 33, Iss. 4-5, 2010-03 , pp.A note on Coinduction and Weak Bisimilarity for While Programs
RAIRO - Theoretical Informatics and Applications,volume 33,issue 4-5 , Vol. 33, Iss. 4-5, 2010-03 , pp.Final Dialgebras: From Categories to Allegories
By Backhouse Roland,Hoogendijk Paul in (2010)
RAIRO - Theoretical Informatics and Applications,volume 33,issue 4-5 , Vol. 33, Iss. 4-5, 2010-03 , pp.On Distributive Fixed-Point Expressions
By Seidl Helmut,Niwiński Damian in (2010)
RAIRO - Theoretical Informatics and Applications,volume 33,issue 4-5 , Vol. 33, Iss. 4-5, 2010-03 , pp.A Finite Axiomatization of Nondeterministic Regular Expressions
By Corradini Flavio,De Nicola Rocco,Labella Anna in (2010)
RAIRO - Theoretical Informatics and Applications,volume 33,issue 4-5 , Vol. 33, Iss. 4-5, 2010-03 , pp.Rewriting on cyclic structures: Equivalence between the operational and the categorical description
By Corradini Andrea,Gadducci Fabio in (2010)
RAIRO - Theoretical Informatics and Applications,volume 33,issue 4-5 , Vol. 33, Iss. 4-5, 2010-03 , pp.