scientific article; zbMATH DE number 1852175

zbMath1002.68506MaRDI QIDQ4787254

Yong Li, Xuandong Li, Tao Zheng, Guoliang Zheng, Yu Pei, Jian-hua Zhao

Publication date: 9 January 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2144/21440465

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Linear programming (90C05) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Positive loop-closed automata: A decidable class of hybrid systems

Uses Software

• HyTech

This page was built for publication: