RT @FrankHarwald: A Perfect Class of Context-Sensitive Timed Languages Devendra Bhave, Vrunda Dave, S.N. Krishna, Ramchandra Phawade, Ashut…
459 followers
459 followers
A Perfect Class of Context-Sensitive Timed Languages Devendra Bhave, Vrunda Dave, S.N. Krishna, Ramchandra Phawade, Ashutosh Trivedi https://t.co/hLo8wcoc9x https://t.co/oGs5RBNBkK #LanguageTheory #AutomataTheory #FormalVerification #ReactiveSystems
459 followers
RT @FrankHarwald: @Jonathan_Blow Wait till you read through academic computational #LanguageTheory papers & journals... A Perfect Class of…
459 followers
@Jonathan_Blow Wait till you read through academic computational #LanguageTheory papers & journals... A Perfect Class of Context-Sensitive Timed Languages: Devendra Bhave, Vrunda Dave, S. N. Krishna, Ramchandra Phawade, Ashutosh Trivedi https://t.co/hL