Automata-Based Axiom Pinpointing

ISSN： 0168-7433

Source： Journal of Automated Reasoning, Vol.45, Iss.2, 2010-08, pp. : 91-129

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

Improving quality of DES S-boxes by cellular automata-based S-boxes

By Szaban Miroslaw Seredynski Franciszek

The Journal of Supercomputing, Vol. 57, Iss. 2, 2011-08 ,pp. : 216-226

Springer Publishing Company

Access to resources Recommend Favorite

Learning automata-based algorithms for finding cover sets in wireless sensor networks

By Mohamadi Hosein Ismail Abdul Salleh Shaharuddin Nodhei Ali

The Journal of Supercomputing, Vol. 66, Iss. 3, 2013-12 ,pp. : 1533-1552

Springer Publishing Company

Access to resources Recommend Favorite

Automata-based supervisory control logic design for a multi-robot assembly cell

By Lee Jin-Kyu Lee Tae-Eog

International Journal of Computer Integrated Manufacturing, Vol. 15, Iss. 4, 2002-07 ,pp. : 319-334

Taylor & Francis Ltd

Access to resources Recommend Favorite

A Learning Automata-Based Cognitive Radio for Clustered Wireless Ad-Hoc Networks

By Akbari Torkestani Javad

Journal of Network and Systems Management, Vol. 19, Iss. 2, 2011-06 ,pp. : 278-297

Springer Publishing Company

Access to resources Recommend Favorite

Cellular Automata-Based PSO Algorithm for Aligning Multiple Molecular Sequences

International Journal of Applied Evolutionary Computation (IJAEC), Vol. 7, Iss. 1, 2016-01 ,pp. : 1-15

IGI Global_journal

Access to resources Recommend Favorite