ARTICLES

Article
An Integrated Course on Parallel and Distributed Processing
1 Mar 1998
Authors: José Cardoso e Cunha, João Lourenço
Article
Semantic domains based on sets with families of equivalences
1 Jan 1998
Authors: Luís Monteiro
Article
Entailment-Based Actions for Coordination
1 Jan 1998
Authors: Luís Monteiro, António Porto
Article
Using DDBG to Support Testing and High-level Debugging Interfaces
1 Jan 1998
Authors: José Cardoso e Cunha, João Lourenço, Vítor Duarte
Article
Integrating Object-Oriented Analysis and Formal Specification
1 Jan 1998
Authors: João Araújo, Pete Sawyer
Article
Controlo da Evolução de Sistemas Legados
1 Jan 1998
Authors: Miguel Goulão, António Silva Monteiro, Fernando Brito e Abreu, Alberto Bigotte de Almeida
Article
Classical Negation in NonMonotonic Reasoning and Logic Programming
1 Jan 1998
Authors: José Júlio Alferes, Luís Moniz Pereira, T. Przymusinski
Article
Semi-Contraction: Axioms and Construction
1 Jan 1998
Authors: Eduardo Fermé, Ricardo Rodriguez
Article
A brief note about the Rott Contraction
1 Jan 1998
Authors: Eduardo Fermé, Ricardo Rodriguez
Article
On the Logic of Theory Change: Contraction Without Recovery
1 Jan 1998
Authors: Eduardo Fermé
Article
A Graphical Development and Debugging Environment for Parallel Programs
1 Jan 1997
Authors: Peter Kacsuk, José Cardoso e Cunha, Gabor Dózsa, João Lourenço, Tibor Fadgyas, Tiago Antão
Article
Belief Revision in Non-Monotonic Reasoning and Logic Programming
1 Nov 1996
Authors: José Júlio Alferes, Luís Moniz Pereira, T. C. Przymusinski