Analysing Parallel Complexity of Term Rewriting (English)
- New search for: Baudon, Thais
- New search for: Fuhs, Carsten
- New search for: Gonnord, Laure
- New search for: Baudon, Thais
- New search for: Fuhs, Carsten
- New search for: Gonnord, Laure
In:
Logic-based program synthesis and transformation
; 3-23
;
2022
-
ISBN:
- Conference paper / Print
-
Title:Analysing Parallel Complexity of Term Rewriting
-
Contributors:
-
Conference:LOPSTR ; 32. ; 2022 ; Tiflis
-
Published in:
-
Publisher:
- New search for: Springer
-
Place of publication:Cham
-
Publication date:2022
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
- New search for: 005.115
- Further information on Dewey Decimal Classification
- New search for: 54.50
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
Analysing Parallel Complexity of Term RewritingBaudon, Thais / Fuhs, Carsten / Gonnord, Laure et al. | 2022
- 24
-
Confluence Framework: Proving Confluence with CONFidentGutiérrez, Raúl / Vítores, Miguel / Lucas, Salvador et al. | 2022
- 44
-
Variant-Based Equational Anti-unificationAlpuente, María / Ballis, Demis / Escobar, Santiago / Sapiña, Julia et al. | 2022
- 63
-
Model Checking Meets Auto-Tuning of High-Performance ProgramsGaranina, Natalia / Staroletov, Sergey / Gorlatch, Sergei et al. | 2022
- 83
-
Building a Join Optimizer for SouffléArch, Samuel / Hu, Xiaowen / Zhao, David / Subotić, Pavle / Scholz, Bernhard et al. | 2022
- 103
-
From Infinity to Choreographies: Extraction for Unbounded SystemsKjaer, Bjørn Angel / Cruz-Filipe, Luís / Montest, Fabrizio et al. | 2022
- 123
-
Typed SLD-Resolution: Dynamic Typing for Logic ProgrammingBarbosa, João / Florido, Mário / Costa, Vítor Santos et al. | 2022
- 142
-
On Correctness of Normal Logic ProgramsDrabent, Włodzimierz et al. | 2022