Publisher： Springer Publishing Company
Founded in： 1971
Total resources： 23
E-ISSN： 1432-0525
ISSN： 0001-5903
Subject： O23 cybernetics, information theory (theory)
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Acta Informatica
Menu
An efficient simulation algorithm on Kripke structures
By Ranzato Francesco in (2014)
Acta Informatica , Vol. 51, Iss. 2, 2014-03 , pp.
Access to resources
Recommend
On weighted first-order logics with discounting
By Mandrali Eleni,Rahonis George in (2014)
Acta Informatica , Vol. 51, Iss. 2, 2014-03 , pp.Early action in an Earley parser
Acta Informatica , Vol. 46, Iss. 8, 2009-12 , pp.Extended multi bottom-up tree transducers: Composition and decomposition
Acta Informatica , Vol. 46, Iss. 8, 2009-12 , pp.Strongly transitive automata and the Černý conjecture
Acta Informatica , Vol. 46, Iss. 8, 2009-12 , pp.Liveness of a mutex algorithm in a fair process algebra
Acta Informatica , Vol. 46, Iss. 3, 2009-05 , pp.On the closure of pattern expressions languages under intersection with regular languages
Acta Informatica , Vol. 46, Iss. 3, 2009-05 , pp.A decomposition theorem for finite persistent transition systems
Acta Informatica , Vol. 46, Iss. 3, 2009-05 , pp.Hardness of equivalence checking for composed finite-state systems
Acta Informatica , Vol. 46, Iss. 3, 2009-05 , pp.The fibers and range of reduction graphs in ciliates
Acta Informatica , Vol. 45, Iss. 5, 2008-07 , pp.
Previous
Next