The following pages link to Benny Godlin (Q938299):
Displaying 6 items.
- Inference rules for proving the equivalence of recursive procedures (Q938300) (← links)
- An extension of the bivariate chromatic polynomial (Q1041177) (← links)
- Computing Graph Polynomials on Graphs of Bounded Clique-Width (Q3522957) (← links)
- Inference Rules for Proving the Equivalence of Recursive Procedures (Q3587255) (← links)
- A Most General Edge Elimination Polynomial (Q5302041) (← links)
- Evaluations of Graph Polynomials (Q5302054) (← links)