1
by Hitzler, Pascal
Published 2011
Taylor & Francis
... account of the mathematical methods and tools required for the semantic analysis of logic programs...

2
by Heuts, Gijs
Published 2022
Springer Nature
... in this book. The book also provides an original account of the more established simplicial approach...

3
by Hitzler, Pascal
Published 2010
Taylor & Francis
... Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required...

4
by Mochizuki, Mia M.
Published 2007
Amsterdam University Press

5
by Lauwaert, Maaike
Published 2009
Amsterdam University Press

8
by Kaczmarczyk, Andrzej
Published 2021
Universitätsverlag der Technischen Universität Berlin