Automata-Driven Automated Induction

Author： Bouhoula A.   Jouannaud J-P.  

Publisher： Academic Press

ISSN： 0890-5401

Source： Information and Computation, Vol.169, Iss.1, 2001-08, pp. : 1-22

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

Effect of Pulse‐and‐Glide Strategy on Traffic Flow for a Platoon of Mixed Automated and Manually Driven Vehicles

By  

COMPUTER-AIDED CIVIL AND INFRASTRUCTURE ENGINEERING, Vol. 1093-9687, Iss. 11, 2015-11 ,pp. : 892-905

John Wiley & Sons Inc

Access to resources Recommend Favorite

Effect of Pulse‐and‐Glide Strategy on Traffic Flow for a Platoon of Mixed Automated and Manually Driven Vehicles

By  

COMPUTER-AIDED CIVIL AND INFRASTRUCTURE ENGINEERING, Vol. 30, Iss. 11, 2015-11 ,pp. : 892-905

John Wiley & Sons Inc

Access to resources Recommend Favorite

Automata in algebra

By Aleshin S.  

Journal of Mathematical Sciences, Vol. 168, Iss. 1, 2010-07 ,pp. : 14-20

Springer Publishing Company

Access to resources Recommend Favorite

Automata algebras

By Kudryavtsev V.  

Journal of Mathematical Sciences, Vol. 169, Iss. 4, 2010-09 ,pp. : 435-456

Springer Publishing Company

Access to resources Recommend Favorite

Analysis and synthesis of abstract automata

By Kudryavtsev V.   Grunskii I.   Kozlovskii V.  

Journal of Mathematical Sciences, Vol. 169, Iss. 4, 2010-09 ,pp. : 481-532

Springer Publishing Company

Access to resources Recommend Favorite