Period of time： 2004年2期
Publisher： Academic Press
Founded in： 1957
Total resources： 79
ISSN： 0890-5401
Subject： O Mathematical Sciences and Chemical
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Information and Computation,volume 179,issue 2
Menu
Access to resources
Recommend
On the Complexity of Reasoning in Kleene Algebra
Information and Computation,volume 179,issue 2 , Vol. 179, Iss. 2, 2002-12 , pp.Bisimulation for Labelled Markov Processes
By Desharnais J.,Edalat A.,Panangaden P. in (2002)
Information and Computation,volume 179,issue 2 , Vol. 179, Iss. 2, 2002-12 , pp.By Andersen H.R.,Hulgaard H. in (2002)
Information and Computation,volume 179,issue 2 , Vol. 179, Iss. 2, 2002-12 , pp.Set Constraints with Intersection
By Charatonik W.,Podelski A. in (2002)
Information and Computation,volume 179,issue 2 , Vol. 179, Iss. 2, 2002-12 , pp.An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
By Thiagarajan P.S.,Walukiewicz I. in (2002)
Information and Computation,volume 179,issue 2 , Vol. 179, Iss. 2, 2002-12 , pp.Large Finite Structures with Few L
First-Order Logic with Two Variables and Unary Temporal Logic
By Etessami K.,Vardi M.Y.,Wilke T. in (2002)
Information and Computation,volume 179,issue 2 , Vol. 179, Iss. 2, 2002-12 , pp.A Relational Account of Call-by-Value Sequentiality
By Riecke J.G.,Sandholm A. in (2002)
Information and Computation,volume 179,issue 2 , Vol. 179, Iss. 2, 2002-12 , pp.Completeness of Continuation Models for λμ-Calculus
By Hofmann M.,Streicher T. in (2002)
Information and Computation,volume 179,issue 2 , Vol. 179, Iss. 2, 2002-12 , pp.
Previous
Next