Completeness Results for Fibred Parchments - Beyond the Propositional Base

AuthID
 P-000-KJZ
3
Author(s)
Gouveia, P
·
3
Editor(es)
Wirsing, M; Pattinson, D; Hennicker, R
Tipo de Documento
Article
Year published
2003
Publicado
in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 2755, Páginas: 185-200 (16)
Conference
16Th International Workshop on Algebraic Development Techniques, Date: SEP 24-27, 2002, Location: Frauenchiemsee, GERMANY, Patrocinadores: Deutsch Forsch Gemeinsch, Ludwig Maximilians Univ Munchen, Inst Informat, Munchner Univ Gesell
Indexing
Wos®
Scopus®
Publication Identifiers
SCOPUS: 2-s2.0-0348216691
Wos: WOS:000189415900010
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service