Semantics, Logics, and Calculi
Subtitle: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Publisher: Springer London, Limited
Published: 2016
Language: eng
ISBN-13: 9783319278100
Subjects: Computer programming; Logic, symbolic and mathematical; Calculus