WorldCat Identities

IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Overview
Works: 371 works in 944 publications in 1 language and 18,040 library holdings
Genres: Conference papers and proceedings  Periodicals 
Roles: Editor, Funder, Other, Sponsor
Classifications: QA267.7, 004
Publication Timeline
.
Most widely held works by IEEE Computer Society
Proceedings by Symposium on Logic in Computer Science( )

in English and held by 541 WorldCat member libraries worldwide

Annual Symposium on Foundations of Computer Science [papers] by Symposium on Foundations of Computer Science( )

in English and Undetermined and held by 345 WorldCat member libraries worldwide

Proceedings : Fourth Annual Symposium on Logic in Computer Science by 1990, Philadelphia, Pa.> Symposium on Logic in Computer Science. <5( Book )

22 editions published between 1989 and 1991 in English and held by 254 WorldCat member libraries worldwide

Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 26-29, 1995, San Diego, California by Symposium on Logic in Computer Science( Book )

7 editions published between 1995 and 2002 in English and held by 95 WorldCat member libraries worldwide

Proceedings of the Sixth Annual Structure in Complexity Theory Conference, June 30-July 3, 1991, University of Chicago, Chicago, Illinois by Structure in Complexity Theory Conference( Book )

8 editions published in 1991 in English and held by 93 WorldCat member libraries worldwide

Proceedings of the Eighth Annual Structure in Complexity Theory Conference by Structure in Complexity Theory Conference( Book )

12 editions published between 1993 and 2002 in English and held by 92 WorldCat member libraries worldwide

Proceedings, structure in complexity theory : fourth annual conference by 1989, Eugene, Or.) Structure in Complexity Theory Conference (4( Book )

3 editions published in 1989 in English and held by 89 WorldCat member libraries worldwide

Proceedings of the Seventh Annual Structure in Complexity Theory Conference : June 22-25, 1992, Boston University, Boston, Massachusetts by 1992, Boston, Mass.> Structure in Complexity Theory Conference. <7( Book )

8 editions published between 1992 and 2002 in English and held by 88 WorldCat member libraries worldwide

Proceedings, Tenth Annual Structure in Complexity Theory Conference : June 19-22, 1995, Minneapolis, Minnesota by Structure in Complexity Theory Conference( Book )

10 editions published between 1995 and 2002 in English and held by 86 WorldCat member libraries worldwide

35th Annual Symposium on Foundations of Computer Science : proceedings ; November 20-22, 1994, Santa Fe, New Mexico by S Goldwasser( Book )

7 editions published in 1994 in English and held by 74 WorldCat member libraries worldwide

Logic in computer science : proceedings : 13th Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana by Symposium on Logic in Computer Science( Book )

6 editions published in 1998 in English and held by 68 WorldCat member libraries worldwide

Proceedings : 32nd Annual Symposium on Foundations of Computer Science : October 1-4, 1991, San Juan, Puerto Rico by Symposium on Foundations of Computer Science( Book )

5 editions published in 1991 in English and held by 68 WorldCat member libraries worldwide

Proceedings, Thirteenth Annual IEEE Conference on Computational Complexity : (formerly, Structure in Complexity Theory Conference) : June 15-18, 1998, Buffalo, New York, USA by IEEE Conference on Computational Complexity( Book )

8 editions published between 1998 and 2002 in English and held by 67 WorldCat member libraries worldwide

Proceedings, Twelfth Annual IEEE Conference on Computational Complexity : June 24-27, 1997, Ulm, Germany by IEEE Conference on Computational Complexity( Book )

5 editions published in 1997 in English and held by 64 WorldCat member libraries worldwide

Proceedings, Eleventh Annual IEEE Conference on Computational Complexity : May 24-27, 1996, Philadelphia, Pennsylvania by S Homer( Book )

3 editions published in 1996 in English and held by 63 WorldCat member libraries worldwide

28th annual Symposium on Foundations of Computer Science : October 12-14, 1987 by 1987, Los Angeles, Calif.) Symposium on Foundations of Computer Science (28( Book )

8 editions published in 1987 in English and held by 60 WorldCat member libraries worldwide

25th Annual Symposium on Foundations of Computer Science : October 24-26, 1984 by 1984, Singer Islands, Fla.) Symposium on Foundations of Computer Science (25( Book )

12 editions published in 1984 in English and held by 57 WorldCat member libraries worldwide

Proceedings : 31st Annual Symposium on Foundations of Computer Science : October 22-24, 1990, St. Louis, Missouri by Symposium on Foundations of Computer Science( Book )

5 editions published in 1990 in English and held by 55 WorldCat member libraries worldwide

30th Annual Symposium on Foundations of Computer Science : October 30-November 1, 1989 by Symposium on Foundations of Computer Science( Book )

3 editions published in 1989 in English and held by 52 WorldCat member libraries worldwide

27th annual Symposium on Foundations of Computer Science : October 27-29, 1986 by 1986, Toronto) Symposium on Foundations of Computer Science (27( Book )

2 editions published in 1986 in English and held by 4 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.58 (from 0.55 for Proceeding ... to 0.88 for 27th annua ...)

Proceedings, Thirteenth Annual IEEE Conference on Computational Complexity : (formerly, Structure in Complexity Theory Conference) : June 15-18, 1998, Buffalo, New York, USA
Alternative Names
Computer Society of the IEEE Technical Committee on Mathematical Foundations of Computer Science

Computer Society Technical Committee for Mathematical Foundations of Computing

Computer Society Technical Committee on Mathematical Foundations of Computer Science

Computer Society Technical Committee on Mathematical Foundations of Computing

IEEE Computer Society IEEE Technical Committee on Mathematical Foundations of Computing

IEEE Computer Society Technical Committee for Mathematical Foundations of Computing

IEEE Computer Society Technical Committee on Mathematical Foundations of Computer Science

IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

IEEE Technical Committee on Mathematical Foundations of Computing

Institute of Electrical and Electronics Engineers Computer Society Technical Committee on Mathematical Foundations of Computing

TCMF

Technical Committee for Mathematical Foundations of Computing

Technical Committee on Mathematical Foundations of Computer Science

Technical Committee on Mathematical Foundations of Computing

Languages
English (162)

Covers
Proceedings, Thirteenth Annual IEEE Conference on Computational Complexity : (formerly, Structure in Complexity Theory Conference) : June 15-18, 1998, Buffalo, New York, USAProceedings, Twelfth Annual IEEE Conference on Computational Complexity : June 24-27, 1997, Ulm, Germany25th Annual Symposium on Foundations of Computer Science : October 24-26, 1984