Stop the war!
Остановите войну!
for scientists:
default search action
18th LSFA 2023: Rome, Italy / 10th HCVS 2023: Paris, France
- Temur Kutsia, Daniel Ventura, David Monniaux, José F. Morales:
Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, LSFA/HCVS 2023, and 10th Workshop on Horn Clauses for Verification and SynthesisRome, Italy & Paris, France, 1-2 July, 2023 & 23rd April 2023. EPTCS 402, 2024
LSFA 2023
- Laura P. Gamboa Guzman, Kristin Y. Rozier:
Stalnaker's Epistemic Logic in Isabelle/HOL. 4-17 - Thaynara Arielly de Lima, Andréia Borges Avelar, André Luiz Galdino, Mauricio Ayala-Rincón:
Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms. 18-33 - Alberto Momigliano, Martina Sassella:
More Church-Rosser Proofs in BELUGA. 34-42 - J. Tanner Slagel, Mariano M. Moscato, Lauren M. White, César A. Muñoz, Swee Balachandran, Aaron Dutle:
Embedding Differential Dynamic Logic in PVS. 43-62 - Niccolò Veltri, Cheng-Syuan Wan:
Semi-Substructural Logics with Additives. 63-80
HCVS 2023
- Emanuele De Angelis, Hari Govind V. K.:
CHC-COMP 2023: Competition Report. 83-104 - Márk Somorjai, Mihály Dobos-Kovács, Zsófia Ádám, Levente Bajczi, András Vörös:
Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification. 105-117 - Daneshvar Amrollahi, Hossein Hojjat, Philipp Rümmer:
An Encoding for CLP Problems in SMT-LIB. 118-130
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.