XML schema, tree logic and sheaves automata

ISSN： 0938-1279

Source： Applicable Algebra in Engineering, Communication and Computing, Vol.17, Iss.5, 2006-10, pp. : 337-377

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Branching-Time Temporal Logic and Tree Automata

By Kupferman O. Grumberg O.

Information and Computation, Vol. 125, Iss. 1, 1996-02 ,pp. : 62-69

Academic Press

Access to resources Recommend Favorite

Pushdown Tree Automata, Algebraic Tree Systems, and Algebraic Tree Series

By Kuich W.

Information and Computation, Vol. 165, Iss. 1, 2001-02 ,pp. : 69-99

Academic Press

Access to resources Recommend Favorite

Parameterized complexity of basic decision problems for tree automata

By Charatonik Witold

International Journal of Computer Mathematics, Vol. 90, Iss. 6, 2013-06 ,pp. : 1150-1170

Taylor & Francis Ltd

Access to resources Recommend Favorite

Tableau-based automata construction for dynamic linear time temporal logic*

By Giordano Laura

Annals of Mathematics and Artificial Intelligence, Vol. 46, Iss. 3, 2006-03 ,pp. : 289-315

Springer Publishing Company

Access to resources Recommend Favorite

Design of Efficient and Testable n -Input Logic Gates in Quantum-Dot Cellular Automata

By Sayedsalehi Samira Moaiyeri Mohammad Hossein Navi Keivan

Journal of Computational and Theoretical Nanoscience, Vol. 10, Iss. 10, 2013-10 ,pp. : 2347-2353

American Scientific Publishers

Access to resources Recommend Favorite