2.8k citations
- Max Planck SocietyDE261 papers
- Saarland UniversityDE124 papers
- Technische Universität BerlinDE55 papers
- Centre National de la Recherche ScientifiqueFR41 papers
- Korea UniversityKR41 papers
- Stanford UniversityUS25 papers
- Institut national de recherche en sciences et technologies du numériqueFR24 papers
- ETH ZurichCH21 papers
- Helmholtz Center for Information SecurityDE20 papers
- Technical University of MunichDE20 papers
- Université de LorraineFR17 papers
- University of LuxembourgLU16 papers
Showing 2008 · cs.LOShow all
3 papers · 2 filters
cs.LO2008★ 1 cited
On combinations of local theory extensions
Viorica Sofronie-Stokkermans
In this paper we study possibilities of efficient reasoning in combinations of theories over possibly non-disjoint signatures. We first present a class of theory extensions (called…
cs.LO2008★ 67 cited
Interpolation in local theory extensions
Viorica Sofronie-Stokkermans
In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using…
cs.LO2008★ 3 cited
Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
Guillaume Burel
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems---such as for…