22nd Annual IEEE Symposium on Logic in Computer Science : proceedings : Wrocław, Poland, 1014 July, 2007
Resource Information
The work 22nd Annual IEEE Symposium on Logic in Computer Science : proceedings : Wrocław, Poland, 1014 July, 2007 represents a distinct intellectual or artistic creation found in Missouri University of Science & Technology Library. This resource is a combination of several types including: Work, Language Material, Books, http://bibfra.me/vocab/marc/conferencepublication.
The Resource
22nd Annual IEEE Symposium on Logic in Computer Science : proceedings : Wrocław, Poland, 1014 July, 2007
Resource Information
The work 22nd Annual IEEE Symposium on Logic in Computer Science : proceedings : Wrocław, Poland, 1014 July, 2007 represents a distinct intellectual or artistic creation found in Missouri University of Science & Technology Library. This resource is a combination of several types including: Work, Language Material, Books, http://bibfra.me/vocab/marc/conferencepublication.
 Label
 22nd Annual IEEE Symposium on Logic in Computer Science : proceedings : Wrocław, Poland, 1014 July, 2007
 Title remainder
 proceedings : Wrocław, Poland, 1014 July, 2007
 Statement of responsibility
 sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
 Title variation

 LICS 2007
 IEEE Symposium on Logic in Computer Science
 Logic in Computer Science, 2007, LICS 2007, 22nd Annual IEEE Symposium on
 22nd Annual IEEE Symposium on Logic in Computer Science, 2007, LICS 2007
 Subject

 Computer Science
 Computer programming
 Computer programming  Congresses
 Computer programs  Correctness
 Computer programs  Correctness  Congresses
 Computer science  Mathematics
 Computer science  Mathematics  Congresses
 Conference papers and proceedings
 Electronic data processing
 Electronic data processing  Congresses
 Engineering & Applied Sciences
 Logic, Symbolic and mathematical
 Logic, Symbolic and mathematical  Congresses
 Language
 eng
 Summary
 Annotation
 Cataloging source
 HNK
 Illustrations
 illustrations
 Index
 index present
 LC call number
 QA75.5
 LC item number
 .S9574 2007eb
 Literary form
 non fiction
 Nature of contents

 dictionaries
 bibliography
 Summary expansion
 LICS is an annual international symposium on theoretical and practical topics in computer science focusing on the field of logic. The proceedings looks at finite model theory, formal aspects of program analysis, formal methods, logical aspects of computational complexity, logics in AI, logics of programs, and logic programming. LICS 2007 also concentrates on the latest research on automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, and domain theory. Contents: Type Theory; Computational Proof Theory; Security; Timed and Stochastic Systems; Verification; Constraints; Proof Complexity; Finite Model Theory; Concurrency and Process Calculi; Semantics of Programming Languages; Game Semantics; Linear Logic; Topology and Computable Mathematics
Context
Context of 22nd Annual IEEE Symposium on Logic in Computer Science : proceedings : Wrocław, Poland, 1014 July, 2007Work of
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.mst.edu/resource/j2vsuKpsEPU/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.mst.edu/resource/j2vsuKpsEPU/">22nd Annual IEEE Symposium on Logic in Computer Science : proceedings : Wrocław, Poland, 1014 July, 2007</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.mst.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.mst.edu/">Missouri University of Science & Technology Library</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Work 22nd Annual IEEE Symposium on Logic in Computer Science : proceedings : Wrocław, Poland, 1014 July, 2007
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.mst.edu/resource/j2vsuKpsEPU/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.mst.edu/resource/j2vsuKpsEPU/">22nd Annual IEEE Symposium on Logic in Computer Science : proceedings : Wrocław, Poland, 1014 July, 2007</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.mst.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.mst.edu/">Missouri University of Science & Technology Library</a></span></span></span></span></div>