Escobar Santiago, Martн-Oliet Narciso Rewriting Logic and Its Applications: 13th International Workshop, Wrla 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers 9783030635947

Варианты приобретения

Цена: 6986.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Escobar Santiago, Martн-Oliet Narciso
Название: Rewriting Logic and Its Applications: 13th International Workshop, Wrla 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers
ISBN: 9783030635947
Издательство: Springer
Классификация:

Компьютерное программирование / разработка по

Архитектура и логическое построение вычислительных систем

ISBN-10: 3030635945
Обложка/Формат: Paperback
Страницы: 217
Вес: 0.33 кг.
Дата издания: 25.02.2021
Язык: English
Размер: 23.39 x 15.60 x 1.22 cm
Ссылка на Издательство: Link
Поставляется из: Германии
Описание: Models of rewriting and rewriting logic.- Termination, confluence, coherence, and complexity.- Unification, generalization, and narrowing.- Graph rewriting.- Tree automata.- Rewriting strategies.- Rewriting-based declarative languages.- Explicit-state and symbolic model checking techniques.- Rewriting-based theorem proving, including (co)inductive theorem proving.- Rewriting-based constraint solving and satisfiability.

Rewriting Logic and Its Applications: 13th International Workshop, Wrla 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers, Escobar Santiago, Martн-Oliet Narciso