Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID32nd LOPSTR 2022: Tbilisi, Georgia
- Alicia Villanueva
:
Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings. Lecture Notes in Computer Science 13474, Springer 2022, ISBN 978-3-031-16766-9
Analysis of Rewrite Systems
- Thaïs Baudon, Carsten Fuhs, Laure Gonnord:
Analysing Parallel Complexity of Term Rewriting. 3-23 - Raúl Gutiérrez, Miguel Vítores, Salvador Lucas:
Confluence Framework: Proving Confluence with CONFident. 24-43 - María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña:
Variant-Based Equational Anti-unification. 44-60
Verification and Synthesis
- Natalya Olegovna Garanina, Sergey M. Staroletov, Sergei Gorlatch:
Model Checking Meets Auto-Tuning of High-Performance Programs. 63-82 - Samuel Arch, Xiaowen Hu, David Zhao, Pavle Subotic, Bernhard Scholz:
Building a Join Optimizer for Soufflé. 83-102 - Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi:
From Infinity to Choreographies - Extraction for Unbounded Systems. 103-120
Logic Programming
- João Barbosa, Mário Florido, Vítor Santos Costa:
Typed SLD-Resolution: Dynamic Typing for Logic Programming. 123-141 - Wlodzimierz Drabent:
On Correctness of Normal Logic Programs. 142-154
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.
last updated on 2024-06-10 21:43 CEST 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:
