An Application of Logic Engineering

Título:

An Application of Logic Engineering

Autor:

Renata Pereira de Freitas

Ano:

2005

Revista:

Logic Journal of the IGPL

ISSN:

13670751

Tags:

Formal Specification

Logic Engineering

Idioma:

Inglês

Buscar essa publicação no Google Acadêmico

Publicações com a mesma autoria

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

Set Venn Diagrams Applied to Inclusions and Non-inclusions

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

Squares in Fork Arrow Logic

On Positive Relational Calculi