3.8k citations
- University College LondonGB53 papers
- University of LondonGB49 papers
- Centre National de la Recherche ScientifiqueFR17 papers
- Free University of Bozen-BolzanoIT13 papers
- University of OxfordGB13 papers
- Imperial College LondonGB10 papers
- University of LiverpoolGB10 papers
- King's College LondonGB9 papers
- Institute for Nuclear Research and Nuclear EnergyBG8 papers
- University of ManchesterGB8 papers
- Johns Hopkins University Applied Physics LaboratoryUS7 papers
- The University of SydneyAU7 papers
282 papers
Irreducibility of Endomorphisms of Finitely Generated Free Semigroups
Paul C. Bell, Eva Foster, Daniel Reidenbach
We introduce and investigate the irreducibility of endomorphisms of finitely generated free semigroups, i.e., we investigate when an endomorphism , where is any…
Text Indexing: From Reporting to Counting
Ben Bals, Panagiotis Charalampopoulos, Oded Lachish +2
We prove an elementary yet powerful combinatorial lemma: in any rooted tree with leaves, the number of nodes whose depth is smaller than the number of their leaf descendants is…
On the generic information capacity of relational schemas with a single binary relation
Benoît Groz, Jan Hidders, Nina Pardal +2
We consider database schemas consisting of a single binary relation, with key constraints and inclusion dependencies. Over this space of 20 schemas, we completely characterize when…
Fusions of One-Variable First-Order Modal Logics
Roman Kontchakov, Dmitry Shkatov, Frank Wolter
We investigate preservation results for the independent fusion of one-variable first-order modal logics. We show that, without equality, Kripke completeness and decidability of glo…
Testing Quasiperiodicity
Christine Awofeso, Ben Bals, Oded Lachish +1
A cover (or quasiperiod) of a string is a shorter string such that every position of is contained in some occurrence of as a substring. The notion of covers was int…
Logical Inferentialism & Attacks on Classical Logic
Khashayar Irani
This paper undertakes a foundational inquiry into logical inferentialism with particular emphasis on the normative standards it establishes and the implications these pose for clas…