You are not logged in |
On word unification in Coq
- Speaker(s)
- Aleksy Schubert
- Affiliation
- MIMUW
- Date
- May 20, 2022, 12:15 p.m.
- Information about the event
- on-line, link podaję emailem/I send link on request by email
- Seminar
- Seminar Semantics, Logic, Verification and its Applications
W trakcie referatu przedstawiony zostanie szkic dowodu poprawności podstawowych własności algorytmu znajdowania unifikatorów na słowach oraz zakres jego formalizacji w Coq-u.
A sketch of algorithm correctness for an algorithm to solve word unification problem will be presented. This will be accompanied by a presentation of what has already been proven in this direction in Coq.
