First Order Logic, Fixed Point Logic and Linear Order

Authors

Anuj Dawar
Steven Lindell, Haverford CollegeFollow
Scott Weinstein

Document Type

Conference Proceeding

Role

Contributor

Publication

Computer science logic: 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

Standard Number

3540613773

Volume

1092

First Page

161

Last Page

177

Publication Date

1996

Repository Citation

"First Order Logic, Fixed Point Logic and Linear Order" (co-written with Anuj Dawar & Scott Weinstein), in Kleine-Büning, H. (ed.), Computer Science Logic '95, Springer-Verlag, Lecture Notes in Computer Science Vol. 1092, 1996, pp. 161-177.