Automata, Languages and Programming: 18th International Colloquium, Madrid, Spai
126,24 €
On the semantics of logic programs. - Logic programming with recurrence domains. - Extensional embedding of a strongly stable model of PCF. - Uniform ideals and strictness analysis. - Logical and computational aspects of programming with sets/bags/lists.
Jetzt bei Ebay: