Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
intersection constraint » intersection constraints, interaction constraints, interactions constraints
programming constructs » programming concepts, programming contest
programs programming » programmer programming, problems programming, programming programming
constraint programs » constraint problems, constraint programming, concurrent programs
constructs loops » constructs lists, constructs coders, constructs core
intersection constraint » intersection constraints, interaction constraints, interactions constraints
programming constructs » programming concepts, programming contest
programs programming » programmer programming, problems programming, programming programming
constraint programs » constraint problems, constraint programming, concurrent programs
constructs loops » constructs lists, constructs coders, constructs core
1
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
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



