IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Overview
Works:  304 works in 940 publications in 1 language and 13,970 library holdings 

Genres:  Conference papers and proceedings Periodicals 
Roles:  Editor, Funder, Other 
Classifications:  QA267, 519.4 
Publication Timeline
.
Most widely held works by
IEEE Computer Society
Proceedings by
Symposium on Logic in Computer Science(
)
in English and held by 548 WorldCat member libraries worldwide
in English and held by 548 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 353 WorldCat member libraries worldwide
in English and Undetermined and held by 353 WorldCat member libraries worldwide
Proceedings of the ... Annual ACM Symposium on Theory of Computing by
Symposium on Theory of Computing(
)
in English and No Linguistic content and held by 230 WorldCat member libraries worldwide
in English and No Linguistic content and held by 230 WorldCat member libraries worldwide
Proceedings, structure in complexity theory : fourth annual conference by
1988, Washington, DC) Structure in Complexity Theory Conference (3(
Book
)
16 editions published between 1987 and 2002 in English and held by 183 WorldCat member libraries worldwide
16 editions published between 1987 and 2002 in English and held by 183 WorldCat member libraries worldwide
Proceedings of the Sixth Annual Structure in Complexity Theory Conference, June 30July 3, 1991, University of Chicago, Chicago,
Illinois by
Structure in Complexity Theory Conference(
Book
)
9 editions published in 1991 in English and held by 95 WorldCat member libraries worldwide
9 editions published in 1991 in English and held by 95 WorldCat member libraries worldwide
Proceedings of the Seventh Annual Structure in Complexity Theory Conference : June 2225, 1992, Boston University, Boston,
Massachusetts by Structure in Complexity Theory Conference(
Book
)
8 editions published between 1992 and 2002 in English and held by 90 WorldCat member libraries worldwide
8 editions published between 1992 and 2002 in English and held by 90 WorldCat member libraries worldwide
Logic in computer science : proceedings : 13th Annual IEEE Symposium on Logic in Computer Science : June 2124, 1998, Indianapolis,
Indiana by Symposium on Logic in Computer Science(
Book
)
6 editions published in 1998 in English and held by 71 WorldCat member libraries worldwide
6 editions published in 1998 in English and held by 71 WorldCat member libraries worldwide
Computational complexity : proceedings : Fifteenth Annual IEEE Conference on Computational Complexity : July 47, 2000, Florence,
Italy by IEEE Conference on Computational Complexity(
Book
)
7 editions published in 2000 in English and held by 66 WorldCat member libraries worldwide
7 editions published in 2000 in English and held by 66 WorldCat member libraries worldwide
25th Annual Symposium on Foundations of Computer Science : October 2426, 1984 by
Symposium on Foundations of Computer Science(
Book
)
12 editions published in 1984 in English and held by 57 WorldCat member libraries worldwide
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 2224, 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
5 editions published in 1990 in English and held by 55 WorldCat member libraries worldwide
Proceedings : 18th IEEE Annual Conference on Computational Complexity : 710 July, 2003, Aarhus, Denmark by IEEE Conference on Computational Complexity(
Book
)
11 editions published between 2000 and 2010 in English and held by 49 WorldCat member libraries worldwide
11 editions published between 2000 and 2010 in English and held by 49 WorldCat member libraries worldwide
Computational complexity : proceedings : Fourteenth Annual IEEE Conference on Computational Complexity : May 46, 1999, Atlanta,
Georgia, USA by IEEE Conference on Computational Complexity(
Book
)
3 editions published in 1999 in English and held by 48 WorldCat member libraries worldwide
3 editions published in 1999 in English and held by 48 WorldCat member libraries worldwide
42nd Annual Symposium on Foundations of Computer Science : proceedings : October 1417, 2001, Las Vegas, Nevada, USA by Symposium on Foundations of Computer Science(
Book
)
6 editions published in 2001 in English and held by 47 WorldCat member libraries worldwide
6 editions published in 2001 in English and held by 47 WorldCat member libraries worldwide
15th Annual Symposium on Switching and Automata Theory : [papers] by
Symposium on Switching and Automata Theory(
Book
)
7 editions published in 1974 in English and held by 39 WorldCat member libraries worldwide
7 editions published in 1974 in English and held by 39 WorldCat member libraries worldwide
Logic in computer science : proceedings : 18th Annual IEEE Symposium on Logic in Computer Science : 2225 July, 2003, Ottawa,
Canada by Symposium on Logic in Computer Science(
Book
)
10 editions published in 2003 in English and held by 31 WorldCat member libraries worldwide
10 editions published in 2003 in English and held by 31 WorldCat member libraries worldwide
19th IEEE Annual Conference on Computational Complexity : proceedings : 2124 June, 2004, Amherst, Massachusetts by IEEE Conference on Computational Complexity(
Book
)
6 editions published in 2004 in English and held by 22 WorldCat member libraries worldwide
6 editions published in 2004 in English and held by 22 WorldCat member libraries worldwide
35th Annual Symposium on Foundations of Computer Science : November 2022, 1994, Sante Fe, New Mexico. proceedings by Symposium on Foundations of Computer Science(
Book
)
1 edition published in 1994 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1994 in English and held by 2 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 ACM Special Interest Group for Automata and Computability Theory
 European Association for Theoretical Computer Science
 ACM Special Interest Group for Algorithms and Computation Theory Editor
 IEEE Computer Society
 Association for Symbolic Logic
 Institute of Electrical and Electronics Engineers
 University of California, Berkeley Department of Electrical Engineering and Computer Sciences
 University of New Orleans
 Northeastern University (Boston, Mass.)
 University of Oregon
Associated Subjects
Automatic control Coding theory Computable functions Computational complexity Computer logic Computer networks Computer programming Computer programsCorrectness Computers Computer science Computer scienceMathematics ComputersCircuits Control theory Database management Databases Deductive databases Electric circuits Electric networks Electronic data processing Electronic data processingComputerassisted instruction Electronic data processingDistributed processing Electronic digital computers Formal languages Logic, Symbolic and mathematical Logic programming Machine theory Manyvalued logic Nonlinear boundary value problems Polynomials Reverse engineering Sequential machine theory Software engineering Switching theory System analysis Systems engineering Systems software Telecommunication Telecommunication systems
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
Covers