1
Published 2006
Table of Contents: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...
View full text
Electronic eBook