organized by Warsaw University ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with The Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from BRICS, University of Aarhus ... [et. al]

IEEE Computer Society Press c1997

: paper , : case , : microfiche

Available at 20 libraries

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM Special Interest Group on Automata and Computability Theory, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from AT&T Research, Bell Laboratories--Lucent Technologies DIMACS, IBM Almaden Research Center

IEEE Computer Society Press c1996

: [pbk.]

Available at 1 libraries

sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, EATCS ; with support from State University of New York at Buffalo ; edited by Steve Homer and Jin-Yi Cai

IEEE Computer Society Press c1996

: soft. , : case.

Available at 10 libraries

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, EATCS ; with support from DIMACS, University of Minnesota, Cornell University

IEEE Computer Society Press c1995

: paper , : microfiche , : case

Available at 15 libraries

sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, EATCS ; with support from CWI ... [et al.]

IEEE Computer Society Press c1994

: paper , : microfiche , : case

Available at 13 libraries

A. Lingas, R. Karlsson, S. Carlsson (eds.)

Springer-Verlag c1993 Lecture notes in computer science 700

: gw , : us

Available at 63 libraries

sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ... [et al.] ; in cooperation with ACM-SIGACT, EATCS

IEEE Computer Society Press c1992

: paper , : microfiche , : case

Available at 9 libraries

W. Kuich (ed.)

Springer-Verlag c1992 Lecture notes in computer science 623

: gw , : us

Available at 55 libraries

sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, EATCS

IEEE Computer Society Press c1991

: paper , : microfiche , : case

Available at 10 libraries

M.S. Paterson (ed.)

Springer-Verlag c1990 Lecture notes in computer science 443

: gw , : us

Available at 62 libraries