IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Overview
Works:  362 works in 772 publications in 1 language and 12,880 library holdings 

Genres:  Conference proceedings Periodicals 
Roles:  Editor, Funder 
Classifications:  QA267, 004 
Publication Timeline
.
Most widely held works by
IEEE Computer Society
Annual Symposium on Foundations of Computer Science [papers] by Symposium on Foundations of Computer Science(
)
in English and held by 353 WorldCat member libraries worldwide
in English and held by 353 WorldCat member libraries worldwide
Proceedings by IEEE Conference on Computational Complexity(
)
in English and held by 337 WorldCat member libraries worldwide
in English and held by 337 WorldCat member libraries worldwide
Proceedings by
Symposium on Logic in Computer Science(
)
in English and held by 224 WorldCat member libraries worldwide
in English and held by 224 WorldCat member libraries worldwide
Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 2629, 1995, San Diego, California by Symposium on Logic in Computer Science(
Book
)
6 editions published between 1995 and 2002 in English and held by 201 WorldCat member libraries worldwide
6 editions published between 1995 and 2002 in English and held by 201 WorldCat member libraries worldwide
Proceedings : the Sixth Annual IEEE Symposium on Logic in Computer Science ; July 1518, 1991, Amsterdam, the Netherlands by
Symposium on Logic in Computer Science(
)
12 editions published in 1991 in English and held by 193 WorldCat member libraries worldwide
12 editions published in 1991 in English and held by 193 WorldCat member libraries worldwide
Proceedings, structure in complexity theory fourth annual conference by
1989, Eugene, Or.) Structure in Complexity Theory Conference (4(
)
2 editions published in 1989 in English and held by 188 WorldCat member libraries worldwide
2 editions published in 1989 in English and held by 188 WorldCat member libraries worldwide
Conference record of the ... annual ACM Symposium on Theory of Computing by ACM Symposium on Theory of Computing(
)
in English and No Linguistic content and held by 188 WorldCat member libraries worldwide
in English and No Linguistic content and held by 188 WorldCat member libraries worldwide
Proceedings, Tenth Annual Structure in Complexity Theory Conference June 1922, 1995, Minneapolis, Minnesota by
1995, Minneapolis, Minn.> Structure in Complexity Theory Conference. <10(
)
9 editions published between 1995 and 2002 in English and held by 188 WorldCat member libraries worldwide
9 editions published between 1995 and 2002 in English and held by 188 WorldCat member libraries worldwide
Proceedings of the Eighth Annual Structure in Complexity Theory Conference by
Institute of Electrical and Electronics Engineers(
)
7 editions published in 1993 in English and held by 181 WorldCat member libraries worldwide
7 editions published in 1993 in English and held by 181 WorldCat member libraries worldwide
Proceedings by Symposium on Foundations of Computer Science(
)
in English and held by 174 WorldCat member libraries worldwide
in English and held by 174 WorldCat member libraries worldwide
35th Annual Symposium on Foundations of Computer Science proceedings ; November 2022, 1994, Santa Fe, New Mexico by Symposium on Foundations of Computer Science(
)
7 editions published in 1994 in English and held by 172 WorldCat member libraries worldwide
7 editions published in 1994 in English and held by 172 WorldCat member libraries worldwide
Proceedings, Eleventh Annual IEEE Conference on Computational Complexity May 2427, 1996, Philadelphia, Pennsylvania by
1996, Philadelphia, Pa.> Conference on Computational Complexity. <11(
)
2 editions published in 1996 in English and held by 170 WorldCat member libraries worldwide
2 editions published in 1996 in English and held by 170 WorldCat member libraries worldwide
Proceedings, Twelfth Annual IEEE Conference on Computational Complexity June 2427, 1997, Ulm, Germany by
1997, Ulm) Conference on Computational Complexity (12(
)
5 editions published in 1997 in English and held by 169 WorldCat member libraries worldwide
5 editions published in 1997 in English and held by 169 WorldCat member libraries worldwide
Proceedings 32nd annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, October 14, 1991 by Symposium on Foundations of Computer Science(
)
4 editions published in 1991 in English and held by 168 WorldCat member libraries worldwide
4 editions published in 1991 in English and held by 168 WorldCat member libraries worldwide
38th Annual Symposium on Foundations of Computer Science proceedings : October 2022, 1997, Miami Beach, Florida by Symposium on Foundations of Computer Science(
)
4 editions published in 1997 in English and held by 161 WorldCat member libraries worldwide
4 editions published in 1997 in English and held by 161 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(
)
5 editions published in 1990 in English and held by 156 WorldCat member libraries worldwide
5 editions published in 1990 in English and held by 156 WorldCat member libraries worldwide
40th Annual Symposium on Foundations of Computer Science October 1719, 1999, New York City, New York by
1999, New York, NY) Symposium on Foundations of Computer Science (40(
)
7 editions published in 1999 in English and held by 156 WorldCat member libraries worldwide
7 editions published in 1999 in English and held by 156 WorldCat member libraries worldwide
25th Annual Symposium on Foundations of Computer Science October 2426, 1984 by Symposium on Foundations of Computer Science(
)
7 editions published in 1984 in English and held by 155 WorldCat member libraries worldwide
7 editions published in 1984 in English and held by 155 WorldCat member libraries worldwide
28th annual Symposium on Foundations of Computer Science October 1214, 1987 by
1987, Los Angeles, Calif.) Symposium on Foundations of Computer Science (28(
)
7 editions published in 1987 in English and held by 155 WorldCat member libraries worldwide
7 editions published in 1987 in English and held by 155 WorldCat member libraries worldwide
Conference proceedings of the ... annual ACM Symposium on Theory of Computing by ACM Symposium on Theory of Computing(
)
in English and held by 154 WorldCat member libraries worldwide
in English and held by 154 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
 Institute of Electrical and Electronics Engineers
 IEEE Computer Society
 Association for Symbolic Logic
 University of California, Berkeley Department of Electrical Engineering and Computer Sciences
 Northeastern University (Boston, Mass.)
 University of New Orleans
 Kozen, Dexter 1951 Editor
Associated Subjects
Computable functions Computational complexity Computer programming Computer programsCorrectness Computers Computer science Computer scienceMathematics ComputersCircuits DNA Electronic data processing Electronic digital computers Integer programming Isomorphisms (Mathematics) Logic, Symbolic and mathematical Logic programming Machine theory Machine theoryData processing Nonlinear boundary value problems Polynomials Switching theory
Alternative Names
Computer Society Technical Committee on Mathematical Foundations of Computer Science
IEEE Computer Society Technical Committee for 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
Technical Committee on Mathematical Foundations of Computing.
Languages
Covers