Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Silvio Ghilardi

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 Luigi Santocanale

> Home > Persons > Silvio Ghilardi

Publications

2020
[j51]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/GhilardiS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/GhilardiS20
Silvio Ghilardi, Luigi Santocanale:
Free Heyting algebra endomorphisms: Ruitenburg's Theorem and beyond. Math. Struct. Comput. Sci. 30(6): 572-596 (2020)
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/GhilardiGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/GhilardiGS20
Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale:
Fixed-point Elimination in the Intuitionistic Propositional Calculus. ACM Trans. Comput. Log. 21(1): 4:1-4:37 (2020)
2019
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1901-01252
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-01252
Silvio Ghilardi, Luigi Santocanale:
Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond. CoRR abs/1901.01252 (2019)
2018
[c51]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/GhilardiS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/GhilardiS18
Silvio Ghilardi, Luigi Santocanale:
Ruitenburg's Theorem via Duality and Bounded Bisimulations. Advances in Modal Logic 2018: 277-290
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-01552
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-01552
Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale:
Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version). CoRR abs/1803.01552 (2018)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-06130
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-06130
Luigi Santocanale, Silvio Ghilardi:
Ruitenburg's Theorem via Duality and Bounded Bisimulations. CoRR abs/1804.06130 (2018)
2016
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/GhilardiGS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/GhilardiGS16
Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale:
Fixed-Point Elimination in the Intuitionistic Propositional Calculus. FoSSaCS 2016: 126-141
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GhilardiGS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GhilardiGS16
Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale:
Fixed-point elimination in the intuitionistic propositional calculus. CoRR abs/1601.00402 (2016)
2003
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/GhilardiS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/GhilardiS03
Silvio Ghilardi, Luigi Santocanale:
Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics. LPAR 2003: 152-166

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.