- Tytuł:
- Synthesis of max-plus quasi-interpretations
- Autorzy:
- Amadio, R. M.
- Data publikacji:
- 2005
- Słowa kluczowe:
-
functional languages and term rewriting
function algebras and implicit computational complexity
static analysis
polynomial interpretations and max-plus algebras - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł