Complexité programme And NotA. Bockmayr
List of bibliographic references
Number of relevant bibliographic references: 7.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000625 | Ralph Benzinger [États-Unis] | Automated higher-order complexity analysis |
| 000723 | J. Y. Marion [France] | Analysing the implicit complexity of programs |
| 000894 | Guillaume Bonfante [France] ; Jean-Yves Marion [France] ; Jean-Yves Moyen [France] | On lexicographic termination ordering with space bound certifications |
| 000921 | Jean-Yves Marion [France] | Actual arithmetic and feasibility |
| 000980 | G. Kucherov [France] ; M. Rusinowitch [France] | Patterns in words versus patterns in trees : A brief survey and new results |
| 000A66 | D. Galmiche [France] ; D. Larchey-Wendling [France] | Structural sharing and efficient proof-search in propositional intuitionistic logic |
| 000A99 | Y. Mokhtari [France] ; S. Merz [Allemagne] | Animating TLA specifications |
| This area was generated with Dilib version V0.6.33. |  |