Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > Electronic Notes in Theoretical Computer Science
Publication

Publications

Electronic Notes in Theoretical Computer Science

Title
Electronic Notes in Theoretical Computer Science
Type
International Conference Proceedings Book
Year
2002
Conference International
WoLLIC'2002, 9th Workshop on Logic, Language, Information and Computation
Rio de Janeiro, 30 July 2002 through 2 August 2002
Other information
Language: English
Type (Professor's evaluation): Scientific
Vol.: 4576
Documents
We could not find any documents associated to the publication.
Publications included
Studying provability in implicational intuitionistic logic: The formula tree approachImported from Authenticus
Article in International Conference Proceedings Book
Broda, S (Author) (FCUP); Damas, L (Author) (FCUP)
2002
Indexing
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-07-31 at 05:14:01 | Privacy Policy | Personal Data Protection Policy | Whistleblowing