A calculus for graphs with complement

Título:

A calculus for graphs with complement

Autor:

Jorge Petrúcio Viana

Ano:

2010

DOI:

10.1007/978-3-642-14600-8

Revista:

Lecture Notes in Computer Science

ISSN:

03029743

Tags:

Reasoning with diagrams

Algebras of relations

Idioma:

Inglês

Buscar essa publicação no Google Acadêmico

Publicações com a mesma autoria

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition

Schematic systems

Set Venn Diagrams Applied to Inclusions and Non-inclusions

On Positive Relational Calculi

What is classical propositional logic?

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition

On admissible orders over closed subintervals of [0,1]

On fork arrow logic and its expressive power

Squares in Fork Arrow Logic

On characterizations by nice forbidding sets