https://catalogue-scientifique.canada.ca/record=2102002~S6*frc
wisconsin univ-madison dept of computer sciences, 2006
Recently, pushdown systems (PDSs) have been extended to weighted PDSs, in which each transition is labeled with a value, and the goal is to determine the...
Publication gouvernementale