Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Click on the image)
Autenticação local
Recuperação de Password
Register
Entrar
Publicações
Procurar
Estatísticas
A New Graphical Calculus of Proofs
AuthID
P-009-4ZK
3
Author(s)
Alves, S
·
Fernández, M
·
Mackie, I
1
Editor(s)
Rachid Echahed
Document Type
Proceedings Paper
Year published
2011
Published
in
Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011.
in
EPTCS,
ISSN: 2075-2180
Volume: 48, Pages: 69-84
Indexing
Dblp
®
/pt/publications/view/300019
Crossref
®
6
Google Scholar
®
Metadata
Sources
Publication Identifiers
DOI
:
10.4204/EPTCS.48.8
Dblp
: journals/corr/abs-1102-2655
Source Identifiers
ISSN
: 2075-2180
Export Publication Metadata
Export
×
Publication Export Settings
BibTex
EndNote
APA
Export Preview
Lista
Marked
Adicionar à lista
Marked
Info
At this moment we don't have any links to full text documens.
×
Select Source
This publication has:
2 records from
ISI
2 records from
SCOPUS
2 records from
DBLP
2 records from
Unpaywall
Please select which records must be used by Authenticus!
×
Preview Publications
© 2024 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service