Marcelo P. Fiore

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Marco Devesas Campos

> Home > Persons > Marcelo P. Fiore

Publications

2020
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/CamposF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/CamposF20
Marco Devesas Campos, Marcelo Fiore:
Classical logic with Mendler induction. J. Log. Comput. 30(1): 77-106 (2020)
2016
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/CamposF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/CamposF16
Marco Devesas Campos, Marcelo P. Fiore:
Classical Logic with Mendler Induction - A Dual Calculus and Its Strong Normalization. LFCS 2016: 43-59
2013
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/FioreC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FioreC13
Marcelo P. Fiore, Marco Devesas Campos:
The Algebra of Directed Acyclic Graphs. Computation, Logic, Games, and Quantum Foundations 2013: 37-51

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.