University of Tasmania
Browse

MR2004c:68064, Decision procedures for inductive Boolean functions based on alternating automata

journal contribution
posted on 2023-05-23, 00:33 authored by Kelarev, AV
No description available

History

Publication title

Theoretical Computer Science

Volume

300

Pagination

EJ

Department/School

School of Information and Communication Technology

Repository Status

  • Restricted

Socio-economic Objectives

Computer, electronic and communication equipment not elsewhere classified

Usage metrics

    University Of Tasmania

    Categories

    Keywords

    No keyword provided

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC