Arquivo de Articles - Page 64 of 67 - NOVA LINCS NOVA LINCS

Login

Using DDBG to Support Testing and High-level Debugging Interfaces

Published in 01/01/1998

Authors

José Cardoso e Cunha, João Lourenço, Vítor Duarte,

Semi-Contraction: Axioms and Construction

Published in 01/01/1998

Authors

Eduardo Fermé, Ricardo Rodriguez,

A brief note about the Rott Contraction

Published in 01/01/1998

Authors

Eduardo Fermé, Ricardo Rodriguez,

On the Logic of Theory Change: Contraction Without Recovery

Published in 01/01/1998

Authors

Eduardo Fermé,

Semantic domains based on sets with families of equivalences

Published in 01/01/1998

Authors

Luís Monteiro,

Entailment-Based Actions for Coordination

Published in 01/01/1998

Authors

Luís Monteiro,

Aplicação da Teoria dos Conjuntos Difusos em Ergonomia

Published in 01/01/1998

Authors

Isabel L. Nunes, Rita Almeida Ribeiro, Virgilio Machado,

Integrating Object-Oriented Analysis and Formal Specification

Published in 01/01/1998

Authors

João Araújo, Pete Sawyer,

Classical Negation in NonMonotonic Reasoning and Logic Programming

Published in 01/01/1998

Authors

José Júlio Alferes, Luís Moniz Pereira, T. Przymusinski,

Levantamento de Modelos de Dados em Sistemas Legados

Published in 01/01/1998

Authors

Nuno Palmeiro Ribeiro, Alberto Bigotte de Almeida, Fernando Brito e Abreu, Pedro Sousa,