Franco Montagna

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 Elisa B. P. Tiezzi

> Home > Persons > Franco Montagna

Publications

2003
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/MontagnaPT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/MontagnaPT03
Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi:
A Tableau Calculus for Hájek's Logic BL. J. Log. Comput. 13(2): 241-259 (2003)
2002
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/MontagnaPT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/MontagnaPT02
Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi:
Investigations on Fragments of First Order Branching Temporal Logic. Math. Log. Q. 48(1): 51-62 (2002)
2000
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/MontagnaPT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/MontagnaPT00
Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi:
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain. Math. Log. Q. 46(2): 171-182 (2000)

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.