2.4k citations
- P. Zoller5 profiles46 · h 121
- H. Briegel31 · h 62
- H. Ritsch30 · h 47
- S. Schindler5 profiles27 · h 40
- R. Grimm2 profiles25 · h 52
- A. Reimer2 profiles21 · h 120
- O. Reimer2 profiles21 · h 108
- J. Denschlag19 · h 35
- C. Cecchi3 profiles18 · h 110
- C. Favuzzi3 profiles18 · h 115
- F. Longo3 profiles18 · h 126
- F. Loparco3 profiles18 · h 117
- Austrian Academy of SciencesAT128 papers
- Institute for Quantum Optics and Quantum Information InnsbruckAT123 papers
- Centre National de la Recherche ScientifiqueFR47 papers
- Université Paris CitéFR36 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR35 papers
- CEA Paris-SaclayFR34 papers
- Stockholm UniversitySE33 papers
- Institut de Recherche sur les Lois Fondamentales de l'UniversFR32 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR31 papers
- École PolytechniqueFR27 papers
- Heidelberg UniversityDE27 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PisaIT26 papers
Showing 2012 · cs.LOShow all
2 papers · 2 filters
cs.LO2012★ 1 cited
Confluence by Decreasing Diagrams -- Formalized
Harald Zankl
This paper presents a formalization of decreasing diagrams in the theorem prover Isabelle. It discusses mechanical proofs showing that any locally decreasing abstract rewrite syste…
cs.LO2012★ 1 cited
A Relative Dependency Pair Framework
Christian Sternagel, René Thiemann
In this paper we generalize the DP framework to a relative DP framework, where a so called split is possible.