Search
Search Constraints
You searched for: Author/Creator MARTIN-MARTIN, ENRIQUE- MARTIN-MARTIN, ENRIQUE [remove] 4
- 005.115 3
- Artificial intelligence -- Computer programs -- Periodicals 3
- Constraint programming (Computer science) -- Periodicals 3
- Logic programming -- Periodicals 3
- 004.015105 1
- Computer science -- Mathematics -- Periodicals 1
- resource analysis, -- termination analysis, -- cost relation systems, -- upper bounds 1
- resource analysis, -- typed-norms, -- data-flow analysis, -- program transformation 1
- term rewriting systems, -- constructor-based rewriting logic, -- narrowing, -- non-determinism, -- call-time choice semantics, -- sharing, -- local bindings 1