A normal form for first-order logic over doubly-linked data structures

Authors

Steven Lindell, Haverford CollegeFollow

Document Type

Journal Article

Role

Author

Standard Number

0129-0541

Journal Title

International Journal of Foundations of Computer Science

Volume

19

Issue

1

First Page

205

Last Page

218

Publication Date

2008

Repository Citation

"A normal form for first-order logic over doubly-linked data structures" IJFCS Vol. 19 No. 1 (Feb. 2008) pp. 205-217.