MPG.eBooks - Search Results - "Logic"

Cover Image

1

Rewriting Techniques and Applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings

Published 1989

Springer Berlin Heidelberg

Subjects: “...Mathematical logic...”

Cover Image

2

Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Published 2003

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”