Fundamenta Informaticae - Tom Vol. 173, nr 4 (2020) - BazTech

Tom - szczegóły

Tytuł artykułu

Vol. 173, nr 4

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2020

Identyfikatory

Uwagi

Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017. Special issue editors: Fabio Fioravanti, University of Chieti-Pescara, Pescara, Italy; John P. Gallagher, Roskilde University, Roskilde, Spain; Maurizio Proietti, IASI-CNR, Rome, Italy.

Zawartość wolumenu

Vol. 173, nr 4
- artykuł: Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms : Theory, Implementations, and Complexity (Frühwirth Thom), s. 253--283
- artykuł: Combining Static and Dynamic Contract Checking for Curry (Hanus Michael), s. 285--314
- artykuł: A Constructor-Based Reachability Logic for Rewrite Theories (Skeirik Stephen, Stefanescu Andrei, Meseguer José), s. 315--382

rozwiń roczniki