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:   Print 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 papers and 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


Primary Entity

<http://www.worldcat.org/oclc/33202549> # Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 26-29, 1995, San Diego, California
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "33202549" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/37142197#Place/los_alamitos_calif> ; # Los Alamitos, Calif.
   rdfs:seeAlso <http://experiment.worldcat.org/entity/work/data/37142197#CreativeWork/logic_in_computer_science_1995_lics_95_proceedings_tenth_annual_ieee_symposium_on> ; # Logic in Computer Science, 1995, LICS '95, proceedings, Tenth Annual IEEE Symposium on.
   schema:about <http://experiment.worldcat.org/entity/work/data/37142197#Topic/demonstration_theoreme> ; # démonstration théorème
   schema:about <http://experiment.worldcat.org/entity/work/data/37142197#Topic/informatique_mathematiques_congres> ; # Informatique--Mathématiques--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/37142197#Topic/reecriture> ; # réécriture
   schema:about <http://experiment.worldcat.org/entity/work/data/37142197#Topic/verification> ; # vérification
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/37142197#Topic/concurrence> ; # concurrence
   schema:about <http://experiment.worldcat.org/entity/work/data/37142197#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/37142197#Topic/computer_science_mathematics> ; # Computer science--Mathematics
   schema:about <http://dewey.info/class/004/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/37142197#Topic/logique_symbolique_et_mathematique_congres> ; # Logique symbolique et mathématique--Congrès
   schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/37142197#Topic/theorie_type> ; # théorie type
   schema:about <http://experiment.worldcat.org/entity/work/data/37142197#Topic/unification> ; # unification
   schema:about <http://experiment.worldcat.org/entity/work/data/37142197#Topic/lambda_calcul> ; # lambda calcul
   schema:about <http://experiment.worldcat.org/entity/work/data/37142197#Topic/kongress> ; # Kongreß
   schema:about <http://experiment.worldcat.org/entity/work/data/37142197#Topic/modele_fini> ; # modèle fini
   schema:about <http://experiment.worldcat.org/entity/work/data/37142197#Topic/intelligence_artificielle> ; # intelligence artificielle
   schema:about <http://experiment.worldcat.org/entity/work/data/37142197#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/37142197#Topic/semantique> ; # sémantique
   schema:about <http://experiment.worldcat.org/entity/work/data/37142197#Topic/informatik> ; # Informatik
   schema:about <http://experiment.worldcat.org/entity/work/data/37142197#Topic/programmation_en_logique> ; # programmation en logique
   schema:about <http://experiment.worldcat.org/entity/work/data/37142197#Topic/logique_lineaire> ; # logique linéaire
   schema:alternateName "Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science" ;
   schema:alternateName "1995 IEEE 10th Annual Symposium on Logic in Computer Science" ;
   schema:alternateName "LICS '95" ;
   schema:alternateName "10th Annual IEEE Symposium on Logic in Computer Science" ;
   schema:alternateName "Logic in computer science" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/25829033> ; # Dexter Kozen
   schema:contributor <http://viaf.org/viaf/155801218> ; # IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.
   schema:contributor <http://viaf.org/viaf/142395455> ; # ACM Special Interest Group for Automata and Computability Theory.
   schema:copyrightYear "1995" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/37142197#Meeting/symposium_on_logic_in_computer_science_10th_1995_san_diego_calif> ; # Symposium on Logic in Computer Science (10th : 1995 : San Diego, Calif.)
   schema:datePublished "1995" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/37142197> ;
   schema:genre "San Diego (Calif., 1995)"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/681703319> ;
   schema:name "Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 26-29, 1995, San Diego, California"@en ;
   schema:productID "33202549" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/33202549#PublicationEvent/los_alamitos_calif_ieee_computer_society_press_1995> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/37142197#Agent/ieee_computer_society_press> ; # IEEE Computer Society Press
   schema:url <http://ieeexplore.ieee.org/servlet/opac?punumber=3961> ;
   schema:workExample <http://worldcat.org/isbn/9780818670503> ;
   schema:workExample <http://worldcat.org/isbn/9780780329997> ;
   schema:workExample <http://worldcat.org/isbn/9780780325630> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/33202549> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/37142197#Agent/ieee_computer_society_press> # IEEE Computer Society Press
    a bgn:Agent ;
   schema:name "IEEE Computer Society Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/37142197#CreativeWork/logic_in_computer_science_1995_lics_95_proceedings_tenth_annual_ieee_symposium_on> # Logic in Computer Science, 1995, LICS '95, proceedings, Tenth Annual IEEE Symposium on.
    a schema:CreativeWork ;
   schema:name "Logic in Computer Science, 1995, LICS '95, proceedings, Tenth Annual IEEE Symposium on." ;
    .

<http://experiment.worldcat.org/entity/work/data/37142197#Meeting/symposium_on_logic_in_computer_science_10th_1995_san_diego_calif> # Symposium on Logic in Computer Science (10th : 1995 : San Diego, Calif.)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/37142197#Place/san_diego_calif> ; # San Diego, Calif.)
   schema:name "Symposium on Logic in Computer Science (10th : 1995 : San Diego, Calif.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/37142197#Place/los_alamitos_calif> # Los Alamitos, Calif.
    a schema:Place ;
   schema:name "Los Alamitos, Calif." ;
    .

<http://experiment.worldcat.org/entity/work/data/37142197#Place/san_diego_calif> # San Diego, Calif.)
    a schema:Place ;
   schema:name "San Diego, Calif.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/37142197#Topic/demonstration_theoreme> # démonstration théorème
    a schema:Intangible ;
   schema:name "démonstration théorème"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/37142197#Topic/informatique_mathematiques_congres> # Informatique--Mathématiques--Congrès
    a schema:Intangible ;
   schema:name "Informatique--Mathématiques--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/37142197#Topic/intelligence_artificielle> # intelligence artificielle
    a schema:Intangible ;
   schema:name "intelligence artificielle"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/37142197#Topic/logique_symbolique_et_mathematique_congres> # Logique symbolique et mathématique--Congrès
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/37142197#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/37142197#Topic/programmation_en_logique> # programmation en logique
    a schema:Intangible ;
   schema:name "programmation en logique"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/872460> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

<http://viaf.org/viaf/142395455> # ACM Special Interest Group for Automata and Computability Theory.
    a schema:Organization ;
   schema:name "ACM Special Interest Group for Automata and Computability Theory." ;
    .

<http://viaf.org/viaf/155801218> # IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.
    a schema:Organization ;
   schema:name "IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing." ;
    .

<http://viaf.org/viaf/25829033> # Dexter Kozen
    a schema:Person ;
   schema:birthDate "1951" ;
   schema:familyName "Kozen" ;
   schema:givenName "Dexter" ;
   schema:name "Dexter Kozen" ;
    .

<http://worldcat.org/isbn/9780780325630>
    a schema:ProductModel ;
   schema:isbn "078032563X" ;
   schema:isbn "9780780325630" ;
    .

<http://worldcat.org/isbn/9780780329997>
    a schema:ProductModel ;
   schema:isbn "0780329996" ;
   schema:isbn "9780780329997" ;
    .

<http://worldcat.org/isbn/9780818670503>
    a schema:ProductModel ;
   schema:isbn "0818670509" ;
   schema:isbn "9780818670503" ;
    .

<http://www.worldcat.org/oclc/681703319>
    a schema:CreativeWork ;
   rdfs:label "Tenth Annual IEEE Symposium on Logic in Computer Science." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/33202549> ; # Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 26-29, 1995, San Diego, California
    .

<http://www.worldcat.org/title/-/oclc/33202549>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/33202549> ; # Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 26-29, 1995, San Diego, California
   schema:dateModified "2017-04-02" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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