default search action

combined dblp search
author search
venue search
publication search

ask others

35th LOPSTR 2025: Rende, Italy

> 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/2025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/2025
Santiago Escobar, Laura Titolo:
Logic-Based Program Synthesis and Transformation - 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings. Lecture Notes in Computer Science 16117, Springer 2026, ISBN 978-3-032-04847-9
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Meseguer25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Meseguer25
José Meseguer:
Symbolic Computation and Verification Methods in Maude. 1-21
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AlbertAFHM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AlbertAFHM25
Elvira Albert, Emanuele De Angelis, Fabio Fioravanti, Alejandro Hernández-Cerezo, Giulia Matricardi:
Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization. 22-39
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/CharalambidisNT25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/CharalambidisNT25
Angelos Charalambidis, Georgios Nikolaou, Antonis Troumpoukis:
Implementing a Many-Valued Semantics for Logic Programs with Ordered Disjunction Using ASP. 40-56
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/CorralMLH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/CorralMLH25
Paula Corral, José F. Morales, Pedro López-García, Manuel V. Hermenegildo:
Extending the FSyntax/Hiord Approach with Imperative Notation. 57-74
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/DunduaK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/DunduaK25
Besik Dundua, Temur Kutsia:
Higher-Order Pattern Unification Modulo Similarity Relations. 75-93
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/FernandezNS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/FernandezNS25
Maribel Fernández, Daniele Nantes-Sobrinho, Daniella Santaguida:
A Completion Procedure for Equational Rewriting Systems with Binders. 94-112
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/MarianneMP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/MarianneMP25
Thierry Marianne, Fred Mesnard, Étienne Payet:
Automated Certification of Logic Program Groundness Analysis. 113-122
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Hanus25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Hanus25
Michael Hanus:
CurryInfo: Managing Analysis and Verification Information about Curry Packages. 123-134
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/PascualGBA25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/PascualGBA25
Romain Pascual, Pascale Le Gall, Hakim Belhaouari, Agnès Arnould:
Program Synthesis for Geometric Modeling. 135-153
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Payet25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Payet25
Étienne Payet:
Recurrent Pairs Revisited. 154-164
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/GargMXBLS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/GargMXBLS25
Ojaswa Garg, Shayan Mirjafari, Yilin Xia, Shawn Bowers, Bertram Ludäscher, Evgeny S. Skvortsov:
Natural Language to Logica: Towards Interactive and Explainable Data Analytics. 165-179
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/TakahataSNA25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/TakahataSNA25
Kanta Takahata, Jonas Schöpf, Naoki Nishida, Takahito Aoto:
Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms. 180-195
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Tarau25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Tarau25
Paul Tarau:
Focusing Recursive LLM Descents with Plans Expressed as Logic Programs. 196-211

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.