Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "weak calculus"
download as .bib file
@inproceedings{DBLP:conf/eucc/BednarczukBST23,
author = {Ewa M. Bednarczuk and
Giovanni Bruccola and
Gabriele Scrivanti and
The Hung Tran},
title = {Calculus rules for proximal {\(\epsilon\)}-subdifferentials and inexact
proximity operators for weakly convex functions},
booktitle = {European Control Conference, {ECC} 2023, Bucharest, Romania, June
13-16, 2023},
pages = {1--8},
publisher = {{IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10178118},
timestamp = {Tue, 25 Jul 2023 13:04:39 +0200},
biburl = {https://dblp.org/rec/conf/eucc/BednarczukBST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mcma/AkiyamaY22,
author = {Naho Akiyama and
Toshihiro Yamada},
title = {A high order weak approximation for jump-diffusions using Malliavin
calculus and operator splitting},
journal = {Monte Carlo Methods Appl.},
volume = {28},
number = {2},
pages = {97--110},
year = {2022},
url = {https://doi.org/10.1515/mcma-2022-2109},
doi = {10.1515/MCMA-2022-2109},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mcma/AkiyamaY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/PachecoT22,
author = {Leonardo Pacheco and
Kazuyuki Tanaka},
editor = {Agata Ciabattoni and
Elaine Pimentel and
Ruy J. G. B. de Queiroz},
title = {The Alternation Hierarchy of the {\(\mu\)}-calculus over Weakly Transitive
Frames},
booktitle = {Logic, Language, Information, and Computation - 28th International
Workshop, WoLLIC 2022, Ia{\c{s}}i, Romania, September 20-23, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13468},
pages = {207--220},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15298-6\_13},
doi = {10.1007/978-3-031-15298-6\_13},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/PachecoT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-14525,
author = {Ewa M. Bednarczuk and
Giovanni Bruccola and
Gabriele Scrivanti and
The Hung Tran},
title = {Calculus rules for proximal {\(\epsilon\)}-subdifferentials and inexact
proximity operators for weakly convex functions},
journal = {CoRR},
volume = {abs/2211.14525},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.14525},
doi = {10.48550/ARXIV.2211.14525},
eprinttype = {arXiv},
eprint = {2211.14525},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-14525.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/0002KSW21,
author = {Yannick Forster and
Fabian Kunze and
Gert Smolka and
Maxi Wuttke},
editor = {Liron Cohen and
Cezary Kaliszyk},
title = {A Mechanised Proof of the Time Invariance Thesis for the Weak Call-By-Value
{\(\lambda\)}-Calculus},
booktitle = {12th International Conference on Interactive Theorem Proving, {ITP}
2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)},
series = {LIPIcs},
volume = {193},
pages = {19:1--19:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ITP.2021.19},
doi = {10.4230/LIPICS.ITP.2021.19},
timestamp = {Fri, 31 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/0002KSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ForsterKR20,
author = {Yannick Forster and
Fabian Kunze and
Marc Roth},
title = {The weak call-by-value {\(\lambda\)}-calculus is reasonable for both
time and space},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {27:1--27:23},
year = {2020},
url = {https://doi.org/10.1145/3371095},
doi = {10.1145/3371095},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ForsterKR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-07515,
author = {Yannick Forster and
Fabian Kunze and
Marc Roth},
title = {The Weak Call-By-Value {\(\lambda\)}-Calculus is Reasonable for Both
Time and Space},
journal = {CoRR},
volume = {abs/1902.07515},
year = {2019},
url = {http://arxiv.org/abs/1902.07515},
eprinttype = {arXiv},
eprint = {1902.07515},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-07515.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DaillerHMM18,
author = {Sylvain Dailler and
David Hauzar and
Claude March{\'{e}} and
Yannick Moy},
title = {Instrumenting a weakest precondition calculus for counterexample generation},
journal = {J. Log. Algebraic Methods Program.},
volume = {99},
pages = {97--113},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2018.05.003},
doi = {10.1016/J.JLAMP.2018.05.003},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DaillerHMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jscic/BaoCHZ18,
author = {Gang Bao and
Yanzhao Cao and
Yongle Hao and
Kai Zhang},
title = {A Robust Numerical Method for the Random Interface Grating Problem
via Shape Calculus, Weak Galerkin Method, and Low-Rank Approximation},
journal = {J. Sci. Comput.},
volume = {77},
number = {1},
pages = {419--442},
year = {2018},
url = {https://doi.org/10.1007/s10915-018-0712-z},
doi = {10.1007/S10915-018-0712-Z},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jscic/BaoCHZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HausmannSD18,
author = {Daniel Hausmann and
Lutz Schr{\"{o}}der and
Hans{-}Peter Deifel},
editor = {Dirk Beyer and
Marieke Huisman},
title = {Permutation Games for the Weakly Aconjunctive {\textbackslash}mu {\(\mu\)}
-Calculus},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10806},
pages = {361--378},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89963-3\_21},
doi = {10.1007/978-3-319-89963-3\_21},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HausmannSD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/ForsterS17,
author = {Yannick Forster and
Gert Smolka},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq},
booktitle = {Interactive Theorem Proving - 8th International Conference, {ITP}
2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10499},
pages = {189--206},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66107-0\_13},
doi = {10.1007/978-3-319-66107-0\_13},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/ForsterS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-08996,
author = {Daniel Hausmann and
Lutz Schr{\"{o}}der and
Hans{-}Peter Deifel},
title = {Permutation Games for the Weakly Aconjunctive mu-Calculus},
journal = {CoRR},
volume = {abs/1710.08996},
year = {2017},
url = {http://arxiv.org/abs/1710.08996},
eprinttype = {arXiv},
eprint = {1710.08996},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-08996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ParysT16,
author = {Pawel Parys and
Szymon Torunczyk},
editor = {Jean{-}Marc Talbot and
Laurent Regnier},
title = {Models of Lambda-Calculus and the Weak {MSO} Logic},
booktitle = {25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016,
August 29 - September 1, 2016, Marseille, France},
series = {LIPIcs},
volume = {62},
pages = {11:1--11:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CSL.2016.11},
doi = {10.4230/LIPICS.CSL.2016.11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/ParysT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AstefanoaeiBDM13,
author = {Lacramioara Astefanoaei and
Frank S. de Boer and
Mehdi Dastani and
John{-}Jules Ch. Meyer},
title = {A weakest precondition calculus for BUnity},
journal = {Sci. Comput. Program.},
volume = {78},
number = {9},
pages = {1278--1293},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.05.009},
doi = {10.1016/J.SCICO.2012.05.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AstefanoaeiBDM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SeveriV11,
author = {Paula Severi and
Fer{-}Jan de Vries},
editor = {Manfred Schmidt{-}Schau{\ss}},
title = {Weakening the Axiom of Overlap in Infinitary Lambda Calculus},
booktitle = {Proceedings of the 22nd International Conference on Rewriting Techniques
and Applications, {RTA} 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
series = {LIPIcs},
volume = {10},
pages = {313--328},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.RTA.2011.313},
doi = {10.4230/LIPICS.RTA.2011.313},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/SeveriV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/09/Zielonka09,
author = {Wojciech Zielonka},
editor = {David Makinson and
Jacek Malinowski and
Heinrich Wansing},
title = {Weak Implicational Logics Related to the Lambek Calculus - Gentzen
versus Hilbert Formalisms},
booktitle = {Towards Mathematical Philosophy},
series = {Trends in logic},
volume = {28},
pages = {201--212},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-1-4020-9084-4\_10},
doi = {10.1007/978-1-4020-9084-4\_10},
timestamp = {Tue, 29 Dec 2020 18:14:50 +0100},
biburl = {https://dblp.org/rec/books/sp/09/Zielonka09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imamci/Licea08,
author = {Gerardo S{\'{a}}nchez Licea},
title = {Weakening the strengthened condition of Weierstrass for the isoperimetric
problem in the calculus of variations},
journal = {{IMA} J. Math. Control. Inf.},
volume = {25},
number = {1},
pages = {59--74},
year = {2008},
url = {https://doi.org/10.1093/imamci/dnm005},
doi = {10.1093/IMAMCI/DNM005},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/imamci/Licea08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LagoM08,
author = {Ugo Dal Lago and
Simone Martini},
title = {The weak lambda calculus as a reasonable machine},
journal = {Theor. Comput. Sci.},
volume = {398},
number = {1-3},
pages = {32--50},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.01.044},
doi = {10.1016/J.TCS.2008.01.044},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LagoM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ArbiserKR07,
author = {Ariel Arbiser and
Fairouz Kamareddine and
Alejandro R{\'{\i}}os},
title = {The Weak Normalization of the Simply Typed lambda-\emph{s\({}_{\mbox{e}}\)}-calculus},
journal = {Log. J. {IGPL}},
volume = {15},
number = {2},
pages = {121--147},
year = {2007},
url = {https://doi.org/10.1093/jigpal/jzm003},
doi = {10.1093/JIGPAL/JZM003},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/ArbiserKR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/BanerjeeBM07,
author = {Jayasri Banerjee and
Anup Kumar Bandyopadhyay and
Ajit Kumar Mandal},
title = {Some investigations on deadlock freedom issues of a cyclically connected
system using Dijkstra's weakest precondition calculus},
journal = {{ACM} {SIGPLAN} Notices},
volume = {42},
number = {5},
pages = {10--15},
year = {2007},
url = {https://doi.org/10.1145/1286341.1286343},
doi = {10.1145/1286341.1286343},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/BanerjeeBM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BanerjeeBM07a,
author = {Jayasri Banerjee and
Anup Kumar Bandyopadhyay and
Ajit Kumar Mandal},
title = {Application of Dijkstra's weakest precondition calculus to Dining
Philosophers problem},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {32},
number = {4},
year = {2007},
url = {https://doi.org/10.1145/1281421.1281424},
doi = {10.1145/1281421.1281424},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/BanerjeeBM07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlvesF05,
author = {Sandra Alves and
M{\'{a}}rio Florido},
title = {Weak linearization of the lambda calculus},
journal = {Theor. Comput. Sci.},
volume = {342},
number = {1},
pages = {79--103},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.06.005},
doi = {10.1016/J.TCS.2005.06.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlvesF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BlancLM05,
author = {Tomasz Blanc and
Jean{-}Jacques L{\'{e}}vy and
Luc Maranget},
editor = {Aart Middeldorp and
Vincent van Oostrom and
Femke van Raamsdonk and
Roel C. de Vrijer},
title = {Sharing in the Weak Lambda-Calculus},
booktitle = {Processes, Terms and Cycles: Steps on the Road to Infinity, Essays
Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {3838},
pages = {70--87},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11601548\_7},
doi = {10.1007/11601548\_7},
timestamp = {Mon, 16 Sep 2019 15:30:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BlancLM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Lange05,
author = {Martin Lange},
editor = {Radhia Cousot},
title = {Weak Automata for the Linear Time {\(\mathrm{\mu}\)}-Calculus},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {267--281},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_18},
doi = {10.1007/978-3-540-30579-8\_18},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Lange05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JaninL04,
author = {David Janin and
Giacomo Lenzi},
title = {On the Rlationship Between Monadic and Weak Monadic Second Order Logic
on Arbitrary Trees, with Applications to the mu-Calculus},
journal = {Fundam. Informaticae},
volume = {61},
number = {3-4},
pages = {247--265},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi61-3-4-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JaninL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Lin03,
author = {Huimin Lin},
title = {Complete inference systems for weak bisimulation equivalences in the
pi-calculus},
journal = {Inf. Comput.},
volume = {180},
number = {1},
pages = {1--29},
year = {2003},
url = {https://doi.org/10.1016/S0890-5401(02)00014-7},
doi = {10.1016/S0890-5401(02)00014-7},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Lin03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/GortzRS03,
author = {Inge Li G{\o}rtz and
Signe Reuss and
Morten Heine S{\o}rensen},
title = {Strong Normalization from Weak Normalization by Translation into the
Lambda-I-Calculus},
journal = {High. Order Symb. Comput.},
volume = {16},
number = {3},
pages = {253--285},
year = {2003},
url = {https://doi.org/10.1023/A:1025693307470},
doi = {10.1023/A:1025693307470},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/GortzRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Forest02,
author = {Julien Forest},
editor = {Sophie Tison},
title = {A Weak Calculus with Explicit Operators for Pattern Matching and Substitution},
booktitle = {Rewriting Techniques and Applications, 13th International Conference,
{RTA} 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2378},
pages = {174--191},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45610-4\_13},
doi = {10.1007/3-540-45610-4\_13},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/Forest02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lippi07,
author = {Sylvain Lippi},
editor = {Ian Mackie and
Detlef Plump},
title = {Package Duplication in Interaction Nets and Weak Head Reduction in
the lambda-calculus},
booktitle = {Proceedings of the First International Workshop on Term Graph Rewriting,
{TERMGRAPH} 2002, Barcelona, Spain, October 7, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {72},
number = {1},
pages = {75--86},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/j.entcs.2002.09.006},
doi = {10.1016/J.ENTCS.2002.09.006},
timestamp = {Tue, 06 Dec 2022 15:31:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lippi07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/moc/Kohatsu-Higa01,
author = {Arturo Kohatsu{-}Higa},
title = {Weak approximations. {A} Malliavin calculus approach},
journal = {Math. Comput.},
volume = {70},
number = {233},
pages = {135--172},
year = {2001},
url = {https://doi.org/10.1090/S0025-5718-00-01201-1},
doi = {10.1090/S0025-5718-00-01201-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/moc/Kohatsu-Higa01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DavidG01,
author = {Ren{\'{e}} David and
Bruno Guillaume},
title = {A lambda-calculus with explicit weakening and explicit substitution},
journal = {Math. Struct. Comput. Sci.},
volume = {11},
number = {1},
pages = {169--206},
year = {2001},
url = {http://journals.cambridge.org/action/displayAbstract?aid=67279},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DavidG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmsjcm/Adams00,
author = {Andrew A. Adams},
title = {A Formalisation of Weak Normalisation (with Respect to Permutations)
of Sequent Calculus Proofs},
journal = {{LMS} J. Comput. Math.},
volume = {3},
pages = {1--26},
year = {2000},
url = {https://doi.org/10.1112/s1461157000000188},
doi = {10.1112/S1461157000000188},
timestamp = {Fri, 05 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmsjcm/Adams00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esslli/Andrei99,
author = {Stefan Andrei},
editor = {Amalia Todirascu},
title = {Weak Equivalence in Propositional Calculus},
booktitle = {Proceedings of the 4th Student Session of ESSLLI'99 (European Summer
School on Logic, Language and Information 1999), Utrecht, The Netherlands,
August 9-20, 1999},
pages = {79--90},
publisher = {Universiteit Utrecht Press},
year = {1999},
timestamp = {Sat, 07 Sep 2019 11:59:23 +0200},
biburl = {https://dblp.org/rec/conf/esslli/Andrei99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CagmanH98,
author = {Naim {\c{C}}agman and
J. Roger Hindley},
title = {Combinatory Weak Reduction in Lambda Calculus},
journal = {Theor. Comput. Sci.},
volume = {198},
number = {1-2},
pages = {239--247},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(97)00250-8},
doi = {10.1016/S0304-3975(97)00250-8},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CagmanH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cats/Maraist98,
author = {John Maraist},
editor = {Xuemin Lin},
title = {Separating Weakening and Contraction in a Linear Lambda Calculus},
booktitle = {Proceedings of Computing: The Fourth Australasian Theory Symposium
(CATS'98), Perth, WA, Australia, February 2-3, 1998},
series = {Australian Computer Science Communications},
volume = {20},
number = {3},
pages = {151--166},
publisher = {Springer-Verlag Singapore Pte. Ltd.},
year = {1998},
timestamp = {Mon, 16 Mar 2020 17:44:09 +0100},
biburl = {https://dblp.org/rec/conf/cats/Maraist98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PandyaH98,
author = {Paritosh K. Pandya and
Dang Van Hung},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Duration Calculus of Weakly Monotonic Time},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {55--64},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055336},
doi = {10.1007/BFB0055336},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/PandyaH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LiC98,
author = {Zhoujun Li and
Huowang Chen},
editor = {Kim Guldstrand Larsen and
Sven Skyum and
Glynn Winskel},
title = {Checking Strong/Weak Bisimulation Equivalences and Observation Congruence
for the pi-Calculus},
booktitle = {Automata, Languages and Programming, 25th International Colloquium,
ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1443},
pages = {707--718},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055095},
doi = {10.1007/BFB0055095},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LiC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/RamakrishnaS97,
author = {Y. S. Ramakrishna and
Scott A. Smolka},
editor = {Antoni W. Mazurkiewicz and
J{\'{o}}zef Winkowski},
title = {Partial-Order Reduction in the Weak Modal Mu-Calculus},
booktitle = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw,
Poland, July 1-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1243},
pages = {5--24},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63141-0\_2},
doi = {10.1007/3-540-63141-0\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/RamakrishnaS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/Pandya96,
author = {Paritosh K. Pandya},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Weak Chop Inverses and Liveness in Mean-Value Calculus},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1135},
pages = {148--167},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9\_39},
doi = {10.1007/3-540-61648-9\_39},
timestamp = {Tue, 31 Aug 2021 12:07:12 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/Pandya96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FerrariMQ95,
author = {Gian{-}Luigi Ferrari and
Ugo Montanari and
Paola Quaglia},
editor = {Insup Lee and
Scott A. Smolka},
title = {The Weak Late pi-Calculus Semantics as Observation Equivalence},
booktitle = {{CONCUR} '95: Concurrency Theory, 6th International Conference, Philadelphia,
PA, USA, August 21-24, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {962},
pages = {57--71},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60218-6\_5},
doi = {10.1007/3-540-60218-6\_5},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/FerrariMQ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Lin95,
author = {Huimin Lin},
editor = {Peter D. Mosses and
Mogens Nielsen and
Michael I. Schwartzbach},
title = {Complete Inference Systems for Weak Bisimulation Equivalences in the
pi-Calculus},
booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International
Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {915},
pages = {187--201},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59293-8\_195},
doi = {10.1007/3-540-59293-8\_195},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Lin95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BosangueK94,
author = {Marcello M. Bonsangue and
Joost N. Kok},
title = {The Weakest Precondition Calculus: Recursion and Duality},
journal = {Formal Aspects Comput.},
volume = {6},
number = {6A},
pages = {788--800},
year = {1994},
url = {https://doi.org/10.1007/BF01213603},
doi = {10.1007/BF01213603},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BosangueK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conpar/BougeGUV94,
author = {Luc Boug{\'{e}} and
Yann Le Guyadec and
Gil Utard and
Bernard Virot},
editor = {Bruno Buchberger and
Jens Volkert},
title = {On the Expressivity of a Weakest Precondition Calculus for a Simple
Data-Parallel Programming Language},
booktitle = {Parallel Processing: {CONPAR} 94 - {VAPP} VI, Third Joint International
Conference on Vector and Parallel Processing, Linz, Austria, September
6-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {854},
pages = {100--111},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58430-7\_10},
doi = {10.1007/3-540-58430-7\_10},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/conpar/BougeGUV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Epstein94,
author = {George Epstein},
title = {A Weak Propositional Calculus for Signal Processing with Thresholds},
booktitle = {24th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
1994, Boston, Massachusetts, USA, May 25-27, 1994, Proceedings},
pages = {356--361},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ISMVL.1994.302178},
doi = {10.1109/ISMVL.1994.302178},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/Epstein94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Yoshida93,
author = {Nobuko Yoshida},
editor = {John Williams},
title = {Optimal Reduction in Weak-{\(\lambda\)}-calculus with Shared Environments},
booktitle = {Proceedings of the conference on Functional programming languages
and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
9-11, 1993},
pages = {243--254},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165180.165217},
doi = {10.1145/165180.165217},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpca/Yoshida93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/BonsangueK92,
author = {Marcello M. Bonsangue and
Joost N. Kok},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Semantics, Orderings and Recursion in the Weakest Precondition Calculus},
booktitle = {Sematics: Foundations and Applications, {REX} Workshop, Beekbergen,
The Netherlands, June 1-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {666},
pages = {91--109},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56596-5\_30},
doi = {10.1007/3-540-56596-5\_30},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/BonsangueK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Mezghiche91,
author = {Mohamed Mezghiche},
title = {Weak Completeness of Type Assignment in lambda-Calculus Models: {A}
Generalization of Hindley's Result},
journal = {Theor. Comput. Sci.},
volume = {87},
number = {1},
pages = {203--208},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90032-W},
doi = {10.1016/0304-3975(91)90032-W},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Mezghiche91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lambda/BatiniP75,
author = {Carlo Batini and
Alberto Pettorossi},
editor = {Corrado B{\"{o}}hm},
title = {On subrecursiveness in weak combinatory logic},
booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium
Held in Rome, Italy, March 25-27, 1975},
series = {Lecture Notes in Computer Science},
volume = {37},
pages = {297--311},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/BFb0029533},
doi = {10.1007/BFB0029533},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/lambda/BatiniP75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Setlur74,
author = {Rangaswamy V. Setlur},
title = {Erratum: "On the equivalence of strong and weak validity of rule schemes
in the two-valued of rule schemes in the two-valued propositional
calculus"},
journal = {Notre Dame J. Formal Log.},
volume = {15},
number = {4},
pages = {648},
year = {1974},
url = {http://projecteuclid.org/euclid.ndjfl/1093891505},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Setlur74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Rickey71,
author = {V. Frederick Rickey},
title = {On weak and strong validity of rules for the propositional calculus},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {1},
pages = {115--116},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894158},
doi = {10.1305/NDJFL/1093894158},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Rickey71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Setlur70a,
author = {Rangaswamy V. Setlur},
title = {On the equivalence of strong and weak validity of rule schemes in
the two-valued propositional calculus},
journal = {Notre Dame J. Formal Log.},
volume = {11},
number = {2},
pages = {249--253},
year = {1970},
url = {https://doi.org/10.1305/ndjfl/1093893943},
doi = {10.1305/NDJFL/1093893943},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Setlur70a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-19 07:30 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
