Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programming programming » programming programmed, programming program
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming proof » programming problem, programming program, programming project
programming programming » programming programmed, programming program
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming proof » programming problem, programming program, programming project
1
Argitaratua 2005
Aurkibidea:
“... -- Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis....”Testu osoa
Baliabide elektronikoa
eBook
2
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Argitaratua 2013
Aurkibidea:
“... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2010
Aurkibidea:
“... Synchronizing Automata and Digraphs -- Weights of Exact Threshold Functions -- Proof Systems and Transformation...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2010
Aurkibidea:
“... -- Definability in Games -- From Feasible Proofs to Feasible Computations -- Tree Dualities for Constraint...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2008
Aurkibidea:
“...Deterministic Graphical Games Revisited -- Program Schemes with Deep Pushdown Storage -- Herbrand...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2010
Aurkibidea:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2010
Aurkibidea:
“... Proofs: Why Do It? and What Is It Like to Do? -- Linear Programs for the Kepler Conjecture -- A Formal...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2006
Aurkibidea:
“... Result -- Incremental Branching Programs -- Logic of Proofs for Bounded Arithmetic -- On a Maximal NFA...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2006
Aurkibidea:
“... -- Enumeration Reducibility with Polynomial Time Bounds -- Coinductive Proofs for Basic Real Computation -- A...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2006
Aurkibidea:
“... of Clairvoyance -- Similarity of Objects and the Meaning of Words -- Totally ? ? Computably Enumerable and m...”Testu osoa
Baliabide elektronikoa
eBook