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

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/Book
http://schema.org/CreativeWork

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/37142197#Topic/demonstration_theoreme
http://experiment.worldcat.org/entity/work/data/37142197#Topic/informatik
http://experiment.worldcat.org/entity/work/data/37142197#Topic/unification
http://experiment.worldcat.org/entity/work/data/37142197#Topic/ordenadores_matematicas_congresos
http://experiment.worldcat.org/entity/work/data/37142197#Topic/mathematische_logik
http://experiment.worldcat.org/entity/work/data/37142197#Topic/logica_simbolica_y_matematica_congresos
http://experiment.worldcat.org/entity/work/data/37142197#Topic/logique_symbolique_et_mathematique_congres
http://id.loc.gov/authorities/subjects/sh2008101221
http://experiment.worldcat.org/entity/work/data/37142197#Topic/programmation_en_logique
http://experiment.worldcat.org/entity/work/data/37142197#Topic/intelligence_artificielle
http://experiment.worldcat.org/entity/work/data/37142197#Topic/verification
http://experiment.worldcat.org/entity/work/data/37142197#Topic/theorie_type
http://id.worldcat.org/fast/872460
http://id.loc.gov/authorities/subjects/sh2008107112
http://experiment.worldcat.org/entity/work/data/37142197#Topic/theorie_des_modeles_finis
http://experiment.worldcat.org/entity/work/data/37142197#Topic/informatique
http://id.worldcat.org/fast/1002068
http://experiment.worldcat.org/entity/work/data/37142197#Topic/modele_fini
http://experiment.worldcat.org/entity/work/data/37142197#Topic/informatique_mathematiques_congres
http://experiment.worldcat.org/entity/work/data/37142197#Topic/lambda_calcul
http://experiment.worldcat.org/entity/work/data/37142197#Topic/reecriture
http://experiment.worldcat.org/entity/work/data/37142197#Topic/semantique
http://experiment.worldcat.org/entity/work/data/37142197#Topic/concurrence
http://experiment.worldcat.org/entity/work/data/37142197#Topic/logique_lineaire
http://experiment.worldcat.org/entity/work/data/37142197#Topic/logique_mathematique
http://experiment.worldcat.org/entity/work/data/37142197#Topic/kongress

http://schema.org/alternateName

"LICS'95"
"1995 IEEE 10th Annual Symposium on Logic in Computer Science"
"1995 IEEE 10th Annual Symposium on Logic in Computer Science"@en
"Logic in Computer Science, 1995, LICS '95, proceedings, Tenth Annual IEEE Symposium on"
"Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science"@en
"Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science"
"10th Annual IEEE Symposium on Logic in Computer Science"@en
"10th Annual IEEE Symposium on Logic in Computer Science"
"LICS '95"@en
"LICS '95"
"Logic in computer science"@en
"Logic in computer science"
"Annual IEEE Symposium on Logic in Computer Science"
"Symposium on Logic in computer Science"

http://schema.org/contributor

http://experiment.worldcat.org/entity/work/data/37142197#Organization/association_for_computing_machinery_nueva_york_special_interest_group_on_automata_and_computability_theory
http://id.loc.gov/authorities/names/n79018777
http://experiment.worldcat.org/entity/work/data/37142197#Meeting/ieee_annual_symposium_on_logic_in_computer_science_10th_june_1995_san_diego
http://viaf.org/viaf/133109056
http://worldcat.org/entity/person/id/2627476534
http://experiment.worldcat.org/entity/work/data/37142197#Organization/ieee_computer_society_technical_committee_on_mathematical_foundations_of_computing
http://experiment.worldcat.org/entity/work/data/37142197#Organization/association_for_symbolic_logic_urbana_illinois
http://viaf.org/viaf/123926298
http://experiment.worldcat.org/entity/work/data/37142197#Organization/european_association_for_theoretical_computer_science
http://id.loc.gov/authorities/names/n79018778
http://id.loc.gov/authorities/names/n79053217
http://viaf.org/viaf/155801218
http://worldcat.org/entity/person/id/2711065076

http://schema.org/creator

http://experiment.worldcat.org/entity/work/data/37142197#Meeting/symposium_on_logic_in_computer_science_10th_1995_san_diego_calif
http://experiment.worldcat.org/entity/work/data/37142197#Meeting/symposium_on_logic_in_computer_science_10e_1995_san_diego_calif
http://experiment.worldcat.org/entity/work/data/37142197#Meeting/symposium_on_logic_in_computer_science_10º_1995_san_diego_estados_unidos

http://schema.org/genre

"Conference papers and proceedings"@en
"Ressource Internet (Descripteur de forme)"
"San Diego (Calif., 1995)"@en

http://schema.org/name

"Proceedings tenth Annual IEEE Symposium on Logic in Computer Science, June 26-29, 1995, San Diego, California"
"Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings : june 26-29, 1995, San Diego, California"
"Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 26-29, 1995, San Diego, California"@en
"Tenth Annual IEEE Symposium on Logic in Computer Science proceedings, June 26-29, 1995, San Diego, California"@en
"Tenth Annual IEEE Symposium on Logic in Computer Science proceedings, June 26-29, 1995, San Diego, California"
"Tenth Annual IEEE Symposium on Logic in Computer Science proceedings : June 26-29, 1995, San Diego, California"

http://schema.org/workExample

http://www.worldcat.org/oclc/213034156
http://www.worldcat.org/oclc/840295752
http://www.worldcat.org/oclc/681703319
http://www.worldcat.org/oclc/458741598
http://www.worldcat.org/oclc/33202549
http://www.worldcat.org/oclc/912261255
http://www.worldcat.org/oclc/34866314

IEEE Annual Symposium on Logic in Computer Science (10th : June 1995 : San Diego,)

This is a placeholder reference for a Meeting entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"IEEE Annual Symposium on Logic in Computer Science (10th : June 1995 : San Diego,)"

http://experiment.worldcat.org/entity/work/data/37142197#Meeting/ieee_annual_symposium_on_logic_in_computer_science_10th_june_1995_san_diego

Symposium on Logic in Computer Science (10e : 1995 : San Diego, Calif.)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Symposium on Logic in Computer Science (10e : 1995 : San Diego, Calif.)"

http://experiment.worldcat.org/entity/work/data/37142197#Meeting/symposium_on_logic_in_computer_science_10e_1995_san_diego_calif

Symposium on Logic in Computer Science (10th : 1995 : San Diego, Calif.)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Symposium on Logic in Computer Science (10th : 1995 : San Diego, Calif.)"

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 (10º. 1995. San Diego, Estados Unidos)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Symposium on Logic in Computer Science (10º. 1995. San Diego, Estados Unidos)"

http://experiment.worldcat.org/entity/work/data/37142197#Meeting/symposium_on_logic_in_computer_science_10º_1995_san_diego_estados_unidos

Association for Computing Machinery (Nueva York). Special Interest Group on Automata and Computability Theory.

This is a placeholder reference for a Organization entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Organization
schema:name
"Association for Computing Machinery (Nueva York). Special Interest Group on Automata and Computability Theory."

http://experiment.worldcat.org/entity/work/data/37142197#Organization/association_for_computing_machinery_nueva_york_special_interest_group_on_automata_and_computability_theory

Association for Symbolic Logic (Urbana, Illinois)

rdf:type
http://schema.org/Organization
schema:name
"Association for Symbolic Logic (Urbana, Illinois)"

http://experiment.worldcat.org/entity/work/data/37142197#Organization/association_for_symbolic_logic_urbana_illinois

European Association for Theoretical Computer Science.

rdf:type
http://schema.org/Organization
schema:name
"European Association for Theoretical Computer Science."

http://experiment.worldcat.org/entity/work/data/37142197#Organization/european_association_for_theoretical_computer_science

IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

rdf:type
http://schema.org/Organization
schema:name
"IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing."

http://experiment.worldcat.org/entity/work/data/37142197#Organization/ieee_computer_society_technical_committee_on_mathematical_foundations_of_computing

concurrence.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"concurrence."