548 citations
- M. Clemencic5 profiles18 · h 106
- P. David3 profiles18 · h 103
- M. Williams17
- D. Boer16 · h 37
- B. Zihlmann2 profiles14 · h 35
- E. Tournefier4 profiles12 · h 86
- F. Zhang11 profiles12 · h 26
- P. Mulders12 · h 37
- S. Frullani3 profiles12 · h 51
- W. Ubachs3 profiles12 · h 49
- E. Cisbani2 profiles11 · h 39
- E. Graugés2 profiles11 · h 26
- University of AmsterdamNL43 papers
- National Institute for Subatomic PhysicsNL38 papers
- Centre National de la Recherche ScientifiqueFR26 papers
- University of GlasgowGB26 papers
- Petersburg Nuclear Physics InstituteRU20 papers
- A. Alikhanyan National LaboratoryAM19 papers
- Argonne National LaboratoryUS18 papers
- Istituto Nazionale di Fisica Nucleare, Laboratori Nazionali di FrascatiIT18 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di Roma IIT18 papers
- National Centre for Nuclear ResearchPL18 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di FerraraIT17 papers
- Sorbonne UniversitéFR17 papers
Showing 2009 · cs.LOShow all
2 papers · 2 filters
cs.LO2009
Modal Logic and the Approximation Induction Principle
Maciej Gazda, Wan Fokkink
We prove a compactness theorem in the context of Hennessy-Milner logic. It is used to derive a sufficient condition on modal characterizations for the Approximation Induction Princ…
cs.LO2009
Degrees of Undecidability in Rewriting
Joerg Endrullis, Herman Geuvers, Hans Zantema
Undecidability of various properties of first order term rewriting systems is well-known. An undecidable property can be classified by the complexity of the formula defining it. Th…