University of Tasmania
Browse

File(s) not publicly available

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

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC