Go to:
Logótipo
Você está em: Start > Publications > View > Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
Map of Premises
Principal
Publication

Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday

Title
Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
Type
Another Publication in an International Scientific Journal
Year
2025
Authors
Madeira, A
(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
Oliveira, JN
(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
Proença, J
(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
Neves, R
(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
Journal
Vol. 143
ISSN: 2352-2208
Publisher: Elsevier
Indexing
Publicação em ISI Web of Knowledge ISI Web of Knowledge - 0 Citations
Publicação em Scopus Scopus - 0 Citations
Other information
Authenticus ID: P-017-GSQ
Abstract (EN): [No abstract available]
Language: English
Type (Professor's evaluation): Scientific
No. of pages: 4
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same journal

Location automata for synchronised shuffle expressions (2023)
Article in International Scientific Journal
Broda, S; António Machiavelo; Nelma Moreira; Rogério Reis
Deciding Kleene algebra terms equivalence in Coq (2015)
Article in International Scientific Journal
Nelma Moreira; David Pereira; Simao Melo de Sousa
Branching pomsets: Design, expressiveness and applications to choreographies (2024)
Article in International Scientific Journal
Edixhoven, L; Jongmans, SS; Proença, J; Castellani, I
bGSL: An imperative language for specification and refinement of backtracking programs (2023)
Article in International Scientific Journal
Dunne, S; Ferreira, JF; Mendes, A; Ritchie, C; Stoddart, B; Zeyda, F
A formal treatment of the role of verified compilers in secure computation (2022)
Article in International Scientific Journal
Almeida, JCB; Barbosa, M; Barthe, G; Pacheco, H; Pereira, V; Portela, B

See all (7)

Recommend this page Top
Copyright 1996-2025 © Faculdade de Medicina Dentária da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-08-13 at 18:08:50 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book