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 Theory
Objective Division:Manufacturing
Objective Group:Communication Equipment
Objective Field:Communication Equipment not elsewhere classified
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