Logical foundations of computer science: international symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2016]
|
| Schriftenreihe: | Lecture notes in computer science
9537 |
| Schlagworte: | |
| Online-Zugang: | http://www.springer.com/ Inhaltstext |
| Beschreibung: | X, 406 Seiten Graphen |
| ISBN: | 9783319276823 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV043267326 | ||
| 003 | DE-604 | ||
| 005 | 20160120 | ||
| 007 | t| | ||
| 008 | 160111s2016 sz |||| |||| 10||| eng d | ||
| 016 | 7 | |a 1078737622 |2 DE-101 | |
| 020 | |a 9783319276823 |c print |9 978-3-319-27682-3 | ||
| 024 | 3 | |a 9783319276823 | |
| 035 | |a (OCoLC)953382153 | ||
| 035 | |a (DE-599)DNB1078737622 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a sz |c XA-CH | ||
| 049 | |a DE-83 | ||
| 082 | 0 | |a 004 |2 23 | |
| 084 | |a 004 |2 sdnb | ||
| 111 | 2 | |a LFCS |d 2016 |c Deerfield Beach, Fla. |j Verfasser |0 (DE-588)1081042486 |4 aut | |
| 245 | 1 | 0 | |a Logical foundations of computer science |b international symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings |c Sergei Artemov, Anil Nerode (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a X, 406 Seiten |b Graphen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 9537 | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |2 gnd |9 rswk-swf |
| 653 | |a Research | ||
| 653 | |a equational logic and term rewriting | ||
| 653 | |a lambda and combinatory calculi | ||
| 653 | |a homotopy type theory logic in computer science | ||
| 653 | |a domain theory logics | ||
| 653 | |a logical aspects of computational complexity | ||
| 653 | |a logic of hybrid systems, distributed system logics | ||
| 653 | |a constructive mathematics and type theory | ||
| 653 | |a logic in game theory and social software, | ||
| 653 | |a linear logic | ||
| 653 | |a automated deduction and interactive theorem proving | ||
| 653 | |a epistemic and temporal logics | ||
| 653 | |a logics of proof and justification | ||
| 653 | |a logic programming and constraints | ||
| 653 | |a automata and automatic structures | ||
| 653 | |a categorical logic and topological semantics | ||
| 653 | |a logical foundations of database theory | ||
| 653 | |a logical foundations of programming | ||
| 653 | |a computability and randomness | ||
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |D s |
| 689 | 1 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 700 | 1 | |a Artemov, Sergei N. |4 edt | |
| 700 | 1 | |a Nerode, Anil |d 1932- |0 (DE-588)119133865 |4 edt | |
| 710 | 2 | |a Springer International Publishing |0 (DE-588)1064344704 |4 pbl | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-27683-0 |
| 830 | 0 | |a Lecture notes in computer science |v 9537 |w (DE-604)BV000000607 |9 9537 | |
| 856 | 4 | 0 | |u http://www.springer.com/ |x Verlag |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=543955f4b4de47d4a78463199c888c5b&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028689098 | |
Datensatz im Suchindex
| _version_ | 1820875667182452736 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Artemov, Sergei N. Nerode, Anil 1932- |
| author2_role | edt edt |
| author2_variant | s n a sn sna a n an |
| author_GND | (DE-588)119133865 |
| author_corporate | LFCS Deerfield Beach, Fla |
| author_corporate_role | aut |
| author_facet | Artemov, Sergei N. Nerode, Anil 1932- LFCS Deerfield Beach, Fla |
| author_sort | LFCS Deerfield Beach, Fla |
| building | Verbundindex |
| bvnumber | BV043267326 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)953382153 (DE-599)DNB1078737622 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV043267326</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160120</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">160111s2016 sz |||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1078737622</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319276823</subfield><subfield code="c">print</subfield><subfield code="9">978-3-319-27682-3</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783319276823</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)953382153</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1078737622</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">sz</subfield><subfield code="c">XA-CH</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">LFCS</subfield><subfield code="d">2016</subfield><subfield code="c">Deerfield Beach, Fla.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1081042486</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logical foundations of computer science</subfield><subfield code="b">international symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings</subfield><subfield code="c">Sergei Artemov, Anil Nerode (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 406 Seiten</subfield><subfield code="b">Graphen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">9537</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Research</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">equational logic and term rewriting</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">lambda and combinatory calculi</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">homotopy type theory logic in computer science</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">domain theory logics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">logical aspects of computational complexity</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">logic of hybrid systems, distributed system logics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">constructive mathematics and type theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">logic in game theory and social software,</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">linear logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">automated deduction and interactive theorem proving</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">epistemic and temporal logics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">logics of proof and justification</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">logic programming and constraints</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">automata and automatic structures</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">categorical logic and topological semantics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">logical foundations of database theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">logical foundations of programming</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">computability and randomness</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Artemov, Sergei N.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nerode, Anil</subfield><subfield code="d">1932-</subfield><subfield code="0">(DE-588)119133865</subfield><subfield code="4">edt</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Springer International Publishing</subfield><subfield code="0">(DE-588)1064344704</subfield><subfield code="4">pbl</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-319-27683-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">9537</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">9537</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.springer.com/</subfield><subfield code="x">Verlag</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=543955f4b4de47d4a78463199c888c5b&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028689098</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043267326 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:19:17Z |
| institution | BVB |
| institution_GND | (DE-588)1081042486 (DE-588)1064344704 |
| isbn | 9783319276823 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028689098 |
| oclc_num | 953382153 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | X, 406 Seiten Graphen |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | LFCS 2016 Deerfield Beach, Fla. Verfasser (DE-588)1081042486 aut Logical foundations of computer science international symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings Sergei Artemov, Anil Nerode (eds.) Cham Springer [2016] © 2016 X, 406 Seiten Graphen txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 9537 Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Berechnungskomplexität (DE-588)4134751-1 gnd rswk-swf Research equational logic and term rewriting lambda and combinatory calculi homotopy type theory logic in computer science domain theory logics logical aspects of computational complexity logic of hybrid systems, distributed system logics constructive mathematics and type theory logic in game theory and social software, linear logic automated deduction and interactive theorem proving epistemic and temporal logics logics of proof and justification logic programming and constraints automata and automatic structures categorical logic and topological semantics logical foundations of database theory logical foundations of programming computability and randomness (DE-588)1071861417 Konferenzschrift gnd-content Informatik (DE-588)4026894-9 s Logik (DE-588)4036202-4 s 1\p DE-604 Berechnungskomplexität (DE-588)4134751-1 s 2\p DE-604 Logische Programmierung (DE-588)4195096-3 s 3\p DE-604 Artemov, Sergei N. edt Nerode, Anil 1932- (DE-588)119133865 edt Springer International Publishing (DE-588)1064344704 pbl Erscheint auch als Online-Ausgabe 978-3-319-27683-0 Lecture notes in computer science 9537 (DE-604)BV000000607 9537 http://www.springer.com/ Verlag X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=543955f4b4de47d4a78463199c888c5b&prov=M&dok_var=1&dok_ext=htm Inhaltstext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Logical foundations of computer science international symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings Lecture notes in computer science Logische Programmierung (DE-588)4195096-3 gnd Logik (DE-588)4036202-4 gnd Informatik (DE-588)4026894-9 gnd Berechnungskomplexität (DE-588)4134751-1 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4036202-4 (DE-588)4026894-9 (DE-588)4134751-1 (DE-588)1071861417 |
| title | Logical foundations of computer science international symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings |
| title_auth | Logical foundations of computer science international symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings |
| title_exact_search | Logical foundations of computer science international symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings |
| title_full | Logical foundations of computer science international symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings Sergei Artemov, Anil Nerode (eds.) |
| title_fullStr | Logical foundations of computer science international symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings Sergei Artemov, Anil Nerode (eds.) |
| title_full_unstemmed | Logical foundations of computer science international symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings Sergei Artemov, Anil Nerode (eds.) |
| title_short | Logical foundations of computer science |
| title_sort | logical foundations of computer science international symposium lfcs 2016 deerfield beach fl usa january 4 7 2016 proceedings |
| title_sub | international symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings |
| topic | Logische Programmierung (DE-588)4195096-3 gnd Logik (DE-588)4036202-4 gnd Informatik (DE-588)4026894-9 gnd Berechnungskomplexität (DE-588)4134751-1 gnd |
| topic_facet | Logische Programmierung Logik Informatik Berechnungskomplexität Konferenzschrift |
| url | http://www.springer.com/ http://deposit.dnb.de/cgi-bin/dokserv?id=543955f4b4de47d4a78463199c888c5b&prov=M&dok_var=1&dok_ext=htm |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT lfcsdeerfieldbeachfla logicalfoundationsofcomputerscienceinternationalsymposiumlfcs2016deerfieldbeachflusajanuary472016proceedings AT artemovsergein logicalfoundationsofcomputerscienceinternationalsymposiumlfcs2016deerfieldbeachflusajanuary472016proceedings AT nerodeanil logicalfoundationsofcomputerscienceinternationalsymposiumlfcs2016deerfieldbeachflusajanuary472016proceedings AT springerinternationalpublishing logicalfoundationsofcomputerscienceinternationalsymposiumlfcs2016deerfieldbeachflusajanuary472016proceedings |