A note on proofs with graphs

Título:

A note on proofs with graphs

Autor:

Renata Pereira de Freitas

Ano:

2008

DOI:

10.1016/j.scico.2008.08.002

Revista:

Science of Computer Programming

ISSN:

01676423

Tags:

Relational calculus

Graphical reasoning

Idioma:

Inglês

Buscar essa publicação no Google Acadêmico

Publicações com a mesma autoria

On fork arrow logic and its expressive power

On graph reasoning?

On vague notions and modalities: a modular approach

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition

Resolução do exemplo clássico do Lema de Borel-Cantelli: o Problema do Macaco.

A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations

The second Venn diagrammatic system

What is classical propositional logic? (A study in universal logic)

Set Venn Diagrams Applied to Inclusions and Non-inclusions

Squares in Fork Arrow Logic