skip to content
Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 26-29, 1995, San Diego, California Preview this item
ClosePreview this item
Checking...

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

Author: Dexter Kozen; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; ACM Special Interest Group for Automata and Computability Theory.; et al
Publisher: Los Alamitos, Calif. : IEEE Computer Society Press, ©1995.
Edition/Format:   Book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

The proceedings of LICS'95 comprise technical papers on topics in program logics, finite models, model checking and verification, theorem proving and AI, concurrency, semantics, lambda calculus and  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: San Diego (Calif., 1995)
Conference proceedings
Congresses
Additional Physical Format: Online version:
Symposium on Logic in Computer Science (10th : 1995 : San Diego, Calif.)
Tenth Annual IEEE Symposium on Logic in Computer Science.
Los Alamitos, Calif. : IEEE Computer Society Press, c1995
(OCoLC)681703319
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Dexter Kozen; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.; ACM Special Interest Group for Automata and Computability Theory.; et al
ISBN: 078032563X 9780780325630 0818670509 9780818670503 0780329996 9780780329997
OCLC Number: 33202549
Notes: "IEEE catalog number 95CB35768"--T.p. verso.
Description: xiii, 518 p. : ill. ; 28 cm.
Other Titles: Logic in Computer Science, 1995, LICS '95, proceedings, Tenth Annual IEEE Symposium on.
Logic in computer science
1995 IEEE 10th Annual Symposium on Logic in Computer Science
Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science
10th Annual IEEE Symposium on Logic in Computer Science
LICS '95
Responsibility: edited by Dexter Kozen ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Special Interest Group on Automata and Computability Theory of the ACM ... [et al.].

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/33202549>
library:oclcnum"33202549"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/33202549>
rdf:typeschema:Book
rdfs:seeAlso
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
<http://id.worldcat.org/fast/1002068>
rdf:typeschema:Intangible
schema:name"programmation en logique."@en
schema:name"Logic, Symbolic and mathematical"@en
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
<http://id.worldcat.org/fast/872460>
rdf:typeschema:Intangible
schema:name"Computer science--Mathematics."@en
schema:name"Computer science--Mathematics"@en
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
<http://viaf.org/viaf/155801218>
rdf:typeschema:Organization
schema:name"IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing."
schema:contributor
schema:copyrightYear"1995"
schema:creator
schema:datePublished"1995"
schema:exampleOfWork<http://worldcat.org/entity/work/id/37142197>
schema:genre"Conference proceedings."@en
schema:genre"Conference proceedings"@en
schema:genre"San Diego (Calif., 1995)"@en
schema:inLanguage"en"
schema:name"Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 26-29, 1995, San Diego, California"@en
schema:name"1995 IEEE 10th Annual Symposium on Logic in Computer Science"@en
schema:name"10th Annual IEEE Symposium on Logic in Computer Science"@en
schema:name"LICS '95"@en
schema:name"Logic in computer science"@en
schema:name"Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science"@en
schema:numberOfPages"518"
schema:publisher
schema:url
schema:workExample
schema:workExample
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.