| Kelarev, AV, “MR2004c:68064, Decision procedures for inductive Boolean functions based on alternating automata”, Theoretical Computer Science, 300 EJ (2004) [Review Single Work] |
| Data Type | Value |
|---|
| Type of Research | Applied Research |
| Research Division | Information and Computing Sciences |
| Research Group | Information systems |
| Research Field | Information systems philosophy, research methods and theory |
| Research Objective Division | Manufacturing |
| Research Objective Group | Computer, electronic and communication equipment |
| Research Objective Field | Computer, electronic and communication equipment not elsewhere classified |
| Visit Item on eCite | http://ecite.utas.edu.au/29432 |
