default search action

combined dblp search
author search
venue search
publication search

ask others

32nd LOPSTR 2022: Tbilisi, Georgia

> Home > Conferences and Workshops > LOPSTR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/2022
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

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/BaudonFG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BaudonFG22
Thaïs Baudon, Carsten Fuhs, Laure Gonnord:
Analysing Parallel Complexity of Term Rewriting. 3-23
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/GutierrezVL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/GutierrezVL22
Raúl Gutiérrez, Miguel Vítores, Salvador Lucas:
Confluence Framework: Proving Confluence with CONFident. 24-43
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AlpuenteBES22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AlpuenteBES22
María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña:
Variant-Based Equational Anti-unification. 44-60

Verification and Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/GaraninaSG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/GaraninaSG22
Natalya Olegovna Garanina, Sergey M. Staroletov, Sergei Gorlatch:
Model Checking Meets Auto-Tuning of High-Performance Programs. 63-82
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/ArchHZSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/ArchHZSS22
Samuel Arch, Xiaowen Hu, David Zhao, Pavle Subotic, Bernhard Scholz:
Building a Join Optimizer for Soufflé. 83-102
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/KjaerCM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/KjaerCM22
Bjørn Angel Kjær, Luís Cruz-Filipe, Fabrizio Montesi:
From Infinity to Choreographies - Extraction for Unbounded Systems. 103-120

Logic Programming

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/BarbosaFC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BarbosaFC22
João Barbosa, Mário Florido, Vítor Santos Costa:
Typed SLD-Resolution: Dynamic Typing for Logic Programming. 123-141
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Drabent22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Drabent22
Wlodzimierz Drabent:
On Correctness of Normal Logic Programs. 142-154

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.