1
Gepubliceerd in 2006
Inhoudsopgave: ... Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the ?-Calculus -- Semantic...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2005
Inhoudsopgave: ... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...
Volledige tekst
Elektronisch E-boek