Tag proof - Esta é a página 1 - GeneraCodice

Do I need heterogeneous equality?

https://www.generacodice.com/pt/articolo/13623439/do-i-need-heterogeneous-equality

equality - proof - agda - heterogeneous - dependent-type

I can't prove (n - 0) = n with Idris

https://www.generacodice.com/pt/articolo/13562404/i-can-t-prove-n-0-n-with-idris

proof - idris

Proving breadth-first traversal on graphs

https://www.generacodice.com/pt/articolo/13516555/proving-breadth-first-traversal-on-graphs

algorithm - graph-algorithm - proof - discrete-mathematics

Proving correctness of algorithm

https://www.generacodice.com/pt/articolo/13398472/proving-correctness-of-algorithm

formal-methods - proof - proof-of-correctness - hoare-logic - post-conditions

Can two Minimum Spanning Trees for the same graph have different edge weights?

https://www.generacodice.com/pt/articolo/13339276/can-two-minimum-spanning-trees-for-the-same-graph-have-different-edge-weights

math - tree - proof - minimum-spanning-tree

Why does the formal procedure prove NP-Completeness? [closed]

https://www.generacodice.com/pt/articolo/13085737/why-does-the-formal-procedure-prove-np-completeness-closed

algorithm - np-complete - proof

Proof time complexity

https://www.generacodice.com/pt/articolo/12866845/proof-time-complexity

proof - time-complexity

How to prove forall x, (R x \/ ~ R x) [in the Coq proof assistant]?

https://www.generacodice.com/pt/articolo/12412955/how-to-prove-forall-x-r-x-r-x-in-the-coq-proof-assistant

proof - coq

issues in the proof of master theorem

https://www.generacodice.com/pt/articolo/12330428/issues-in-the-proof-of-master-theorem

math - proof - master-theorem

Using an equivalence in the context to force reduction

https://www.generacodice.com/pt/articolo/12187610/using-an-equivalence-in-the-context-to-force-reduction

equivalence - proof - pattern-matching - reduction - agda

«
1
2
3
4
5
6
»

Resultados encontrados: 190