Testing Membership in Formal Languages Implicitly Represented by Boolean Functions

Beate Bollig. Testing Membership in Formal Languages Implicitly Represented by Boolean Functions. J. UCS, 12(6):710-724, 2006. [doi]

Abstract

Abstract is missing.