Typed SLD-Resolution: Dynamic Typing for Logic Programming
Gespeichert in:
| Veröffentlicht in: | LOPSTR (32. : 2022 : Tiflis) Logic-based program synthesis and transformation |
|---|---|
| 1. Verfasser: | |
| Weitere Verfasser: | , |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
2022
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Titel | Jahr | Verfasser |
|---|---|---|
| Variant-Based Equational Anti-unification | 2022 | Alpuente, María |
| From Infinity to Choreographies: Extraction for Unbounded Systems | 2022 | Kjaer, Bjørn Angel |
| Analysing Parallel Complexity of Term Rewriting | 2022 | Baudon, Thais |
| Building a Join Optimizer for Soufflé | 2022 | Arch, Samuel |
| Model Checking Meets Auto-Tuning of High-Performance Programs | 2022 | Garanina, Natalia |
| Confluence Framework: Proving Confluence with CONFident | 2022 | Gutiérrez, Raúl |
| Typed SLD-Resolution: Dynamic Typing for Logic Programming | 2022 | Barbosa, João |
| On Correctness of Normal Logic Programs | 2022 | Drabent, Włodzimierz |