Cited in
(26)- The IELR(1) algorithm for generating minimal LR(1) parser tables for non-LR(1) grammars with conflict resolution
- A proposal for error handling in OpenMP
- Towards semantic mathematical editing
- On regular tree languages and deterministic pushdown automata
- Object-oriented modelling of general flexible multibody systems
- MOSES
- PERMAS
- SimulationX
- SIMPACK
- YakYak
- FlexibleBodies
- Cg
- HyLoRes
- GPU-ABiSort
- groff
- Honalee
- YACC
- BDDTab
- Flex
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
- A new interpretor for PARI/GP
- lazybv2int
- metaSMT
- SBV
- SMT Kit
- Smt-Switch: a solver-agnostic C++ API for SMT solving
This page was built for software: Bison
