Title

First Order Logic, Fixed Point Logic and Linear Order

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

Share

COinS