Searching for "Proofs with Graphs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

427 documents found, showing 1 through 10. Next 10 →

Proofs as Graphs
by Duncan Shand, Simon Brock, North Haugh, Fife Ky Ss
…://www.elsevier.nl/locate/entcs/volume2.html 8 pages Proofs as Graphs Duncan Shand and Simon Brock Computer Science Division University…
Add To MetaCart

Proofs with Graphs
by Sharon Curtis, Gavin Lowe — 1995 — Science of Computer Programming
…Proofs with Graphs Sharon Curtis and Gavin Lowe Oxford University Computing Laboratory, Parks Road…
Cited by 3 (1 self) – Add To MetaCart

New Proofs for Strongly Chordal Graphs and Chordal Bipartite Graphs
by Michael J. Pelsmajer , Jacent Tokazy, Douglas B. West — 2004
… New Proofs for Strongly Chordal Graphs and Chordal Bipartite Graphs Michael J. Pelsmajer…
Cited by 2 (0 self) – Add To MetaCart

Graphs of continuous functions from $\mathbb{R}$ to $\mathbb{R}$ are not purely unrectifiable
by Toby C O'Neil
… from R to R are not purely unrectiable. Abstract We present an elementary proof that the graph of a…
Add To MetaCart

The Resolution Complexity of Random Graph k-Colorability
by Paul Beame, Joseph Culberson, David Mitchell, Cristopher Moore — 2003 — In preparation
… the graph density and the resolution proof complexity. For random graphs with linearly many edges we obtain…
Cited by 15 (8 self) – Add To MetaCart

An Image Digital Signature System With Zkip For The Graph Isomorphism
by Kinoshita Hirotsugu Kanagawa, Kinoshita Hirotsugu — 1996 — International Conference on Image Processing (ICIP
… and an isomorphic graph is concealed in this image. The ZKIP (zero knowledge interactive proof) for the graph…
Add To MetaCart

A New Proof Of The Independence Ratio Of Triangle-Free Cubic Graphs
by Christopher Carl Heckman, Robin Thomas — 2001 — Discrete Math
…A New Proof Of The Independence Ratio Of Triangle-Free Cubic Graphs Christopher Carl Heckman…
Cited by 5 (2 self) – Add To MetaCart

A Visualization System for Correctness Proofs
by Of Graph Algorithms, P. A. Gloor, D. B. Johnson, F. Makedon, P. Metaxas, Correspondence To P. Metaxas
…A Visualization System for Correctness Proofs of Graph Algorithms P.A. Gloor 1 , D.B. Johnson 2…
Add To MetaCart

Towards a Mathematical Specification of a Graph-Narrowing Machine
by Egon Börger, Francisco J. López-Fraguas, Francisco J. L Opez-fraguas, Dep Inform'atica Y Autom'atica, Mario Rodr Iguez-artalejo — 1994
…, thus paving the way for a correctness proof of the graph-narrowing machine implementation (a full…
Cited by 1 (1 self) – Add To MetaCart

LOmegaUI: A Distributed Graphical User Interface for the Interactive Proof System OMEGA
by Jörg Siekmann, Stephan Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Volker Sorge — 1998 — In Proceedings of UITP-98
…. Some of L\Omega UI's main features are the graphical display of co-references in proof graphs, a…
Cited by 3 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB