Proceedings /
Symposium on Logic in Computer Science.

Description

Tools

Cite this Export citation file
Meeting Name
Symposium on Logic in Computer Science.
Related Names
European Association for Theoretical Computer Science.
ACM Special Interest Group for Automata and Computability Theory.
Association for Symbolic Logic.
IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.
Symposium on Logic in Computer Science.
Language(s)
English
Published
Washington, D.C. : IEEE Computer Society Press, c1986-
Subjects
Computer programming > Congresses.
Logic, Symbolic and mathematical > Congresses.
Computer programs > Correctness > Congresses.
Note
Also issued online.
Sponsored by: the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science, 1986-<1988>
Physical Description
v. : ill. ; 28 cm
Locate a Print Version
Find in a library

Viewability

Item Link Original Source
Limited (search only)   00CB37133 1986 University of Michigan
Limited (search only)   86CH2321-8 University of Michigan
Limited (search only)   87CH2464-6 University of Michigan
Limited (search only)   88CH2608-8 1988 University of Michigan
Limited (search only)   89CH2753-2 1989 University of Michigan
Limited (search only)   90CH2897-7 University of Michigan
Limited (search only)   91CH3025-4 1991 University of Michigan
Limited (search only)   92CH3127-8 University of Michigan
Limited (search only)   93CH3328-2 1993 University of Michigan
Limited (search only)   94CH3464-5 1994 University of Michigan
Limited (search only)   95CH35768 1995 University of Michigan
Limited (search only)   96CB35952 1996 University of Michigan
Limited (search only)   97CB36092 1997 University of Michigan
Limited (search only)   98CB36226 1998 University of Michigan
Limited (search only)   99CB36332 1999 University of Michigan
Limited (search only)   P2192 2004 University of Michigan
Limited (search only)   P2266 2005 University of Michigan
Limited (search only)   PR01281 2001 University of Michigan
Limited (search only)   PR01483 2002 University of Michigan
Limited (search only)   PR01884 2003 University of Michigan