↓ Skip to main content

Practical Aspects of Declarative Languages

Overview of attention for book
Attention for Chapter 1: Strong Equivalence and Program’s Structure in Arguing Essential Equivalence Between First-Order Logic Programs
Altmetric Badge
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Strong Equivalence and Program’s Structure in Arguing Essential Equivalence Between First-Order Logic Programs
Chapter number 1
Book title
Practical Aspects of Declarative Languages
Published by
Springer, Cham, January 2019
DOI 10.1007/978-3-030-05998-9_1
Book ISBNs
978-3-03-005997-2, 978-3-03-005998-9
Authors

Yuliya Lierler