3457 search results - page 144 / 692 » A Symbol Is Not a Symbol |
76
Voted
CAV
2007
Springer
15 years 7 months ago
2007
Springer
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
89
Voted
FORMATS
2007
Springer
15 years 7 months ago
2007
Springer
123
click to vote
FOSSACS
2007
Springer
15 years 7 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
63
Voted
FSTTCS
2007
Springer
15 years 7 months ago
2007
Springer
