An Algebraic Presentation of Predicate Logic − (Extended Abstract)
Sam Staton
Book Title
Foundations of Software Science and Computation Structures − 16th International Conference‚ FOSSACS 2013‚ Held as Part of the European Joint Conferences on Theory and Practice of Software‚ ETAPS 2013‚ Rome‚ Italy‚ March 16−24‚ 2013. Proceedings
Editor
Frank Pfenning
Pages
401–417
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
7794
Year
2013