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.
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: Conference proceedings
San Diego (Calif., 1995)
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, ©1995
(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.
ISBN: 078032563X 9780780325630 0818670509 9780818670503 0780329996 9780780329997
OCLC Number: 33202549
Notes: "IEEE catalog number 95CB35768"--Title page verso.
Description: xiii, 518 pages : illustrations ; 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 [and others].

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
rdf:typeschema:MediaObject
rdf:typeschema:Book
rdf:valueUnknown value: cnp
rdfs:seeAlso
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:alternateName"Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science"@en
schema:alternateName"1995 IEEE 10th Annual Symposium on Logic in Computer Science"@en
schema:alternateName"LICS '95"@en
schema:alternateName"10th Annual IEEE Symposium on Logic in Computer Science"@en
schema:alternateName"Logic in computer science"@en
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
<http://viaf.org/viaf/142395455>
rdf:typeschema:Organization
schema:name"ACM Special Interest Group for Automata and Computability Theory."
schema:copyrightYear"1995"
schema:creator
schema:datePublished"1995"
schema:exampleOfWork<http://worldcat.org/entity/work/id/37142197>
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:publication
schema:publisher
schema:workExample
schema:workExample
schema:workExample
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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