Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > A new graphical calculus of proofs
Publication

Publications

A new graphical calculus of proofs

Title
A new graphical calculus of proofs
Type
Article in International Conference Proceedings Book
Year
2011
Authors
Sandra Alves
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Maribel Fernández
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. Without AUTHENTICUS Without ORCID
Ian Mackie
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. Without AUTHENTICUS Without ORCID
Indexing
Publicação em ISI Web of Knowledge ISI Web of Knowledge
Other information
Authenticus ID: P-009-4ZK
Language: English
Type (Professor's evaluation): Scientific
No. of pages: 16
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

Linear Recursion (2010)
Other Publications
Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie
Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-08-10 at 07:30:08 | Privacy Policy | Personal Data Protection Policy | Whistleblowing