default search action

combined dblp search
author search
venue search
publication search

ask others

Information and Computation, Volume 287

> Home > Journals > Information and Computation

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 287, September 2022

Special Issue: Selected Papers from WoLLIC 2019, the 26th Workshop on Logic, Language, Information and Computation

- view
  authority control:
- export record
  dblp key:
  - journals/iandc/Queiroz22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Queiroz22
Ruy J. G. B. de Queiroz:
26th Workshop on Logic, Language, Information and Computation - WoLLIC 2019. 104752
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BaazL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BaazL22
Matthias Baaz, Anela Lolic:
Towards a proof theory for quantifier macros. 104753
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/BlackburnMMH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BlackburnMMH22
Patrick Blackburn, Manuel A. Martins, María Manzano, Antonia Huertas:
Exorcising the phantom zone. 104754
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/CaicedoMRT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CaicedoMRT22
Xavier Caicedo, George Metcalfe, Ricardo Rodríguez, Olim Frits Tuyt:
One-variable fragments of intermediate logics over linear frames. 104755
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/ChenGPT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/ChenGPT22
Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis:
Non-normal modal logics and conditional logics: Semantic analysis and proof theory. 104756
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/GrootP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GrootP22
Jim de Groot, Dirk Pattinson:
Hennessy-Milner properties via topological compactness. 104757
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/Fernandez-Duque22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Fernandez-Duque22
David Fernández-Duque, Eduardo Hermo Reyes:
Deducibility and independence in Beklemishev's autonomous provability calculus. 104758
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/HannulaH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/HannulaH22
Miika Hannula, Lauri Hella:
Complexity thresholds in inclusion logic. 104759
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/KanovichKS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KanovichKS22
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov:
Language models for some extensions of the Lambek calculus. 104760
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/PowellSW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/PowellSW22
Thomas Powell, Peter Schuster, Franziskus Wiesnet:
A universal algorithm for Krull's theorem. 104761
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/Sanders22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Sanders22
Sam Sanders:
Lifting proofs from countable to uncountable mathematics. 104762
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/VenhuizenHCB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/VenhuizenHCB22
Noortje J. Venhuizen, Petra Hendriks, Matthew W. Crocker, Harm Brouwer:
Distributional formal semantics. 104763

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.