eCite Digital Repository

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

Citation

Kelarev, AV, MR2004c:68064, Decision procedures for inductive Boolean functions based on alternating automata, Theoretical Computer Science, 300 EJ (2004) [Review Single Work]

Item Details

Item Type:Review Single Work
Research Division:Information and Computing Sciences
Research Group:Information systems
Research Field:Information systems philosophy, research methods and theory
Objective Division:Manufacturing
Objective Group:Computer, electronic and communication equipment
Objective Field:Computer, electronic and communication equipment not elsewhere classified
UTAS Author:Kelarev, AV (Dr Andrei Kelarev)
ID Code:29432
Year Published:2004
Deposited By:Computing
Deposited On:2004-08-01
Last Modified:2007-11-08
Downloads:0

Repository Staff Only: item control page