在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
intersection constraints » interaction constraints, interactions constraints, introduction constraints
constraints programing » constraints programming, constraint programing, constraint programming
programing program » programming program, programs program, program program
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
intersection constraints » interaction constraints, interactions constraints, introduction constraints
constraints programing » constraints programming, constraint programing, constraint programming
programing program » programming program, programs program, program program
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
1
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
出版 2006
书本目录:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”获取全文
电子
电子书
2
出版 2006
书本目录:
“... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...”获取全文
电子
电子书
3
出版 2008
书本目录:
“... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...”获取全文
电子
电子书
4
出版 2005
书本目录:
“... of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes...”获取全文
电子
电子书
5
出版 2005
书本目录:
“... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”获取全文
电子
电子书
6
出版 2008
书本目录:
“... for NC k -- Extensional Uniformity for Boolean Circuits -- Pure Pointer Programs with Iteration...”获取全文
电子
电子书
7
出版 2014
书本目录:
“... Programming Languages and Methods for Semantic Analyses (Extended Abstract of Invited Talk) -- Unnesting...”获取全文
电子
电子书
8
出版 2007
书本目录:
“... Onto Functions and Polynomial Hierarchy -- Proved-Patterns-Based Development for Structured Programs...”获取全文
电子
电子书
9
出版 2012
书本目录:
“... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”获取全文
电子
电子书
10
出版 2006
书本目录:
“...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...”获取全文
电子
电子书