Lutz Straßburger 个人学术档案

引用次数

	总计	2019 年至今
引用	1930	758
h 指数	25	16
i10 指数	53	33

200

100

150

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 29 52 53 68 76 76 67 51 85 65 52 79 88 78 98 90 188 94 115 169 129 60

开放获取的出版物数量

查看全部

17 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Alessio GuglielmiUniversity of Bath在 Bath.Ac.UK 的电子邮件经过验证
Matteo AcclavioUniversity of Sussex在 sussex.ac.uk 的电子邮件经过验证
Sonia MarinLecturer, University of Birmingham在 bham.ac.uk 的电子邮件经过验证
Roman KuznetsInstitute of Computer Engineering, Technische Universität Wien在 logic.at 的电子邮件经过验证
Willem HeijltjesUniversity of Bath在 bath.ac.uk 的电子邮件经过验证
Kaustuv ChaudhuriINRIA在 chaudhuri.info 的电子邮件经过验证
Dominic J. D. Hughes在 theory.stanford.edu 的电子邮件经过验证
Marianna GirlandoILLC, University of Amsterdam在 uva.nl 的电子邮件经过验证
Anupam DasUniversity of Birmingham在 bham.ac.uk 的电子邮件经过验证
Ross HorneUniversity of Strathclyde在 strath.ac.uk 的电子邮件经过验证
Agata CiabattoniVienna University of Technology在 logic.at 的电子邮件经过验证
Prakash PanangadenProfessor of Computer Science, McGill University在 cs.mcgill.ca 的电子邮件经过验证
Davide CattaUniversità di Napoli, Federico II在 telecom-paris.fr 的电子邮件经过验证
Tom Gundersen在 jklm.no 的电子邮件经过验证
Ryuta ArisakaKyoto University在 kyoto-u.ac.jp 的电子邮件经过验证
Kai BrünnlerProfessor of Computer Science, Bern University of Applied Sciences在 bfh.ch 的电子邮件经过验证
Novak NovakovicMicrosoft在 mi.sanu.ac.rs 的电子邮件经过验证
Andrea Aler Tubella在 upc.edu 的电子邮件经过验证
Sjouke MauwProfessor in Security and Trust of Software Systems, University of Luxembourg在 uni.lu 的电子邮件经过验证
Benjamin RalphLecturer in Computer Science, University of Bath在 bath.ac.uk 的电子邮件经过验证

关注

Lutz Straßburger

Inria

在 lix.polytechnique.fr 的电子邮件经过验证 - 首页


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Non-commutativity and MELL in the calculus of structures A Guglielmi, L Straßburger Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual …, 2001	147	2001
Linear logic and noncommutativity in the calculus of structures L Straßburger	116	2003
Naming proofs in classical propositional logic F Lamarche, L Straßburger International Conference on Typed Lambda Calculi and Applications, 246-261, 2005	80	2005
A Local System for Linear Logic L Straβburger Logic for Programming, Artificial Intelligence, and Reasoning 2514, 388-402, 2002	74	2002
Cut elimination in nested sequents for intuitionistic modal logics L Straßburger Foundations of Software Science and Computation Structures: 16th …, 2013	70	2013
MELL in the calculus of structures L Straßburger Theoretical Computer Science 309 (1-3), 213-285, 2003	70	2003
Label-free modular systems for classical and intuitionistic modal logics S Marin, L Straßburger Advances in Modal Logic 10, 2014	64	2014
A non-commutative extension of MELL A Guglielmi, L Straßburger Logic for Programming, Artificial Intelligence, and Reasoning, 231-246, 2002	58	2002
Breaking paths in atomic flows for classical logic A Guglielmi, T Gundersen, L Straßburger 2010 25th Annual IEEE Symposium on Logic in Computer Science, 284-293, 2010	49	2010
A system of interaction and structure IV: The exponentials and decomposition L Straßburger, A Guglielmi ACM Transactions on Computational Logic (TOCL) 12 (4), 23, 2011	48*	2011
System NEL is undecidable L Straßburger Electronic Notes in Theoretical Computer Science 84, 166-177, 2003	46	2003
From Proof Nets to the Free *-Autonomous Category F Lamarche, L Straßburger Logical Methods in Computer Science (LMCS) 2 (4), 2006	44	2006
Constructing free Boolean categories F Lamarche, L Straßburger 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 209-218, 2005	44	2005
The focused calculus of structures K Chaudhuri, N Guenot, L Straßburger 20th EACSL Annual Conference on Computer Science Logic 12, 159-173, 2011	42	2011
Extension without cut L Straßburger Annals of Pure and Applied Logic 163 (12), 1995-2007, 2012	41	2012
On proof nets for multiplicative linear logic with units L Straßburger, F Lamarche Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual …, 2004	41	2004
A system of interaction and structure V: The exponentials and splitting A Guglielmi, L Straßburger Mathematical Structures in Computer Science 21 (3), 563-584, 2011	40	2011
On nested sequents for constructive modal logics A Das, R Arisaka, L Straßburger arXiv preprint arXiv:1505.06896, 2015	38*	2015
Expanding the realm of systematic proof theory A Ciabattoni, L Straßburger, K Terui International Workshop on Computer Science Logic, 163-178, 2009	38	2009
What is a Logic, and What is a Proof? L Straßurger Logica Universalis, 135-152, 2007	37	2007

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用