Stem logician$ (all stems)
3 papers:
- LICS-2001-Gurevich #state machine
- Logician in the Land of OS: Abstract State Machines in Microsoft (YG), pp. 129–136.
- DAC-1987-BeekmanOI #array #generative #performance
- Mesh Arrays and LOGICIAN: A Tool for Their Efficient Generation (JAB, RMO, MJI), pp. 357–362.
- LICS-1986-Nerode #research
- A Logician Looks at Expert Systems: Areas for Mathematical Research (Abstract of Invited Lecture) (AN), p. 120.