Logical foundations of computer science: international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3 - 6, 2009 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture notes in computer science
5407 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XI, 467 S. graph. Darst. 24 cm |
| ISBN: | 9783540926863 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035385196 | ||
| 003 | DE-604 | ||
| 005 | 20090506 | ||
| 007 | t| | ||
| 008 | 090323s2009 xx d||| |||| 10||| eng d | ||
| 015 | |a 08,N50,0021 |2 dnb | ||
| 015 | |a 09,A05,0060 |2 dnb | ||
| 016 | 7 | |a 991447476 |2 DE-101 | |
| 020 | |a 9783540926863 |c kart. : EUR 65.22 (freier Pr.), sfr 101.50 (freier Pr.) |9 978-3-540-92686-3 | ||
| 024 | 3 | |a 9783540926863 | |
| 028 | 5 | 2 | |a 12587964 |
| 035 | |a (OCoLC)313755087 | ||
| 035 | |a (DE-599)DNB991447476 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-19 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA75.5 | |
| 082 | 0 | |a 004.015113 |2 22/ger | |
| 082 | 0 | |a 511.3 |2 22 | |
| 082 | 0 | |a 005.131 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a 510 |2 sdnb | ||
| 245 | 1 | 0 | |a Logical foundations of computer science |b international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3 - 6, 2009 ; proceedings |c Sergei Artemov ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a XI, 467 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5407 | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Berechnungskomplexität - Logik - Kongress - Deerfield Beach <Fla., 2009> | |
| 650 | 4 | |a Computational logic - Kongress - Deerfield Beach <Fla., 2009> | |
| 650 | 4 | |a Informatik - Logik - Kongress - Deerfield Beach <Fla., 2009> | |
| 650 | 4 | |a Logische Programmierung - Kongress - Deerfield Beach <Fla., 2009> | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science |v Congresses | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 650 | 0 | 7 | |a Computational logic |0 (DE-588)4255672-7 |2 gnd |9 rswk-swf |
| 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 |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Deerfield Beach Fla. |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 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |D s |
| 689 | 2 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Computational logic |0 (DE-588)4255672-7 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Artemov, Sergei N. |e Sonstige |4 oth | |
| 711 | 2 | |a LFCS |d 2009 |c Deerfield Beach, Fla. |j Sonstige |0 (DE-588)10368025-1 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5407 |w (DE-604)BV000000607 |9 5407 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017306080&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017306080 | |
Datensatz im Suchindex
| _version_ | 1820875112313782272 |
|---|---|
| adam_text |
TABLE OF CONTENTS APPLICATIONS OF FINITE DUALITY TO LOCALLY FINITE
VARIETIES OF BL-ALGEBRAS 1 STEFANO AGUZZOLI, SIMONE BOVA, AND VINCENZO
MARRA COMPLETENESS RESULTS FOR MEMORY LOGICS 16 CARLOS ARECES, SANTIAGO
FIGUEIRA, AND SERGIO MERA CANONICAL SIGNED CALCULI. NON-DETERMINISTIC
MATRICES AND CUT-ELIMINATION 31 ARNON AVRON AND ANNA ZAMANSKY
TEMPORALIZATION OF PROBABILISTIC PROPOSITIONAL LOGIC 46 PEDRO BALTAZAR
AND PAULO MATEUS LOGIC AND BOUNDED-WIDTH RATIONAL LANGUAGES OF POSETS
OVER COUNTABLE SCATTERED LINEAR ORDERINGS 61 NICOLAS BEDON THE LOGIC OF
PROOFS AS A FOUNDATION FOR CERTIFYING MOBILE COMPUTATION 76 EDUARDO
BONELLI AND FEDERICO FELLER ATL WITH STRATEGY CONTEXTS AND BOUNDED
MEMORY 92 THOMAS BRIHAYE, ARNAUD DA COSTA, FRANCOIS LAROUSSINIE. AND
NICOLAS MARKEY A RELATIONAL MODEL OF A PARALLEL AND NON-DETERMINISTIC
A-CALCULUS 107 ANTONIO BUCCIARELLI, THOMAS EHRHARD, AND GIULIO
MANZONETTO THE NP-COMPLETENESS OF REFLECTED FRAGMENTS OF JUSTIFICATION
LOGICS . 122 SAMUEL R. BUSS AND ROMAN KUZNETS TAMING MODAL
IMPREDICATIVITY: SUPERLAZY REDUCTION 137 UGO DAL LAGO, LUCA ROVERSI, AND
LUCA VERCELLI POSITIVE FORK GRAPH CALCULUS 152 RENATA DE FREITAS, SHEILA
R.M. VELOSO, PAULO A.S. VELOSO. AND PETRUCIO BIBLIOGRAFISCHE
INFORMATIONEN HTTP://D-NB.INFO/991447476 DIGITALISIERT DURCH X TABLE OF
CONTENTS TABLEAU-BASED PROCEDURE FOR DECIDING SATISFIABILITY IN THE FUELL
COALITIONAL MULTIAGENT EPISTEMIC LOGIC 197 VALENTIN GORANKO AND DMITRY
SHKATOV A CLAUSAL APPROACH TO PROOF ANALYSIS IN SECOND- ORDER LOGIC 214
STEFAN HETZL, ALEXANDER LEITSCH, DANIEL WELLER, AND BRUNO WOLTZENLOGEL
PALEO HYPERSEQUENT SYSTEMS FOR THE ADMISSIBLE RULES OF MODAL AND
INTERMEDIATE LOGICS 230 ROSALIE IEMHOFF AND GEORGE METCALFE LIGHT LINEAR
LOGIC WITH CONTROLLED WEAKENING 246 MAX KANOVICH FUZZY DESCRIPTION LOGIC
REASONING USING A FIXPOINT ALGORITHM 265 UWE KELLER AND STIJN HEYMANS
QUANTITATIVE COMPARISON OF INTUITIONISTIC AND CLASSICAL LOGICS - FUELL
PROPOSITIONAL SYSTEM 280 ANTOINE GENITRINI AND JAKUB KOZIK TABLEAUX AND
HYPERSEQUENTS FOR JUSTIFICATION LOGIC 295 HIDENORI KUROKAWA TOPOLOGICAL
FORCING SEMANTICS WITH SETTLING 309 ROBERT S. LUBARSKY AUTOMATA AND
ANSWER SET PROGRAMMING 323 VICTOR MAREK AND JEFFREY B. REMMEL A LABELED
NATURAL DEDUCTION SYSTEM FOR A FRAGMENT OF CTL* 338 ANDREA MASINI, LUCA
VIGANO, AND MARCO VOLPE CONSERVATIVITY FOR LOGICS OF JUSTIFIED BELIEF
354 ROBERT S. MILNIKEL UNIFYING SETS AND PROGRAMS VIA DEPENDENT TYPES
365 WOJCIECH TABLE OF CONTENTS XI DECIDABILITY AND UNDECIDABILITY IN
PROBABILITY LOGIC 441 SEBASTIAAN A. TERWIJN A BIALGEBRAIC APPROACH TO
AUTOMATA AND FORMAL LANGUAGE THEORY . 451 JAMES WORTHINGTON AUTHOR
INDEX 469 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035385196 |
| callnumber-first | Q - Science |
| callnumber-label | QA75 |
| callnumber-raw | QA75.5 |
| callnumber-search | QA75.5 |
| callnumber-sort | QA 275.5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 540f |
| ctrlnum | (OCoLC)313755087 (DE-599)DNB991447476 |
| dewey-full | 004.015113 511.3 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works 500 - Natural sciences and mathematics |
| dewey-ones | 004 - Computer science 511 - General principles of mathematics 005 - Computer programming, programs, data, security |
| dewey-raw | 004.015113 511.3 005.131 |
| dewey-search | 004.015113 511.3 005.131 |
| dewey-sort | 14.015113 |
| dewey-tens | 000 - Computer science, information, general works 510 - Mathematics |
| discipline | Informatik Mathematik |
| 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">BV035385196</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090506</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090323s2009 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,N50,0021</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,A05,0060</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">991447476</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540926863</subfield><subfield code="c">kart. : EUR 65.22 (freier Pr.), sfr 101.50 (freier Pr.)</subfield><subfield code="9">978-3-540-92686-3</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540926863</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12587964</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)313755087</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB991447476</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA75.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logical foundations of computer science</subfield><subfield code="b">international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3 - 6, 2009 ; proceedings</subfield><subfield code="c">Sergei Artemov ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 467 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">5407</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Berechnungskomplexität - Logik - Kongress - Deerfield Beach <Fla., 2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational logic - Kongress - Deerfield Beach <Fla., 2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik - Logik - Kongress - Deerfield Beach <Fla., 2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logische Programmierung - Kongress - Deerfield Beach <Fla., 2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2009</subfield><subfield code="z">Deerfield Beach Fla.</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="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" 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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Artemov, Sergei N.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LFCS</subfield><subfield code="d">2009</subfield><subfield code="c">Deerfield Beach, Fla.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10368025-1</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5407</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5407</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017306080&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017306080</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Deerfield Beach Fla. gnd-content |
| genre_facet | Konferenzschrift 2009 Deerfield Beach Fla. |
| id | DE-604.BV035385196 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:10:26Z |
| institution | BVB |
| institution_GND | (DE-588)10368025-1 |
| isbn | 9783540926863 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017306080 |
| oclc_num | 313755087 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-83 DE-11 |
| physical | XI, 467 S. graph. Darst. 24 cm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Logical foundations of computer science international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3 - 6, 2009 ; proceedings Sergei Artemov ... (eds.) Berlin [u.a.] Springer 2009 XI, 467 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5407 Literaturangaben Berechnungskomplexität - Logik - Kongress - Deerfield Beach <Fla., 2009> Computational logic - Kongress - Deerfield Beach <Fla., 2009> Informatik - Logik - Kongress - Deerfield Beach <Fla., 2009> Logische Programmierung - Kongress - Deerfield Beach <Fla., 2009> Informatik Computer science Congresses Logic, Symbolic and mathematical Congresses Computational logic (DE-588)4255672-7 gnd rswk-swf 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 (DE-588)1071861417 Konferenzschrift 2009 Deerfield Beach Fla. gnd-content Informatik (DE-588)4026894-9 s Logik (DE-588)4036202-4 s DE-604 Logische Programmierung (DE-588)4195096-3 s Berechnungskomplexität (DE-588)4134751-1 s Computational logic (DE-588)4255672-7 s Artemov, Sergei N. Sonstige oth LFCS 2009 Deerfield Beach, Fla. Sonstige (DE-588)10368025-1 oth Lecture notes in computer science 5407 (DE-604)BV000000607 5407 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017306080&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logical foundations of computer science international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3 - 6, 2009 ; proceedings Lecture notes in computer science Berechnungskomplexität - Logik - Kongress - Deerfield Beach <Fla., 2009> Computational logic - Kongress - Deerfield Beach <Fla., 2009> Informatik - Logik - Kongress - Deerfield Beach <Fla., 2009> Logische Programmierung - Kongress - Deerfield Beach <Fla., 2009> Informatik Computer science Congresses Logic, Symbolic and mathematical Congresses Computational logic (DE-588)4255672-7 gnd 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)4255672-7 (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 2009, Deerfield Beach, FL, USA, January 3 - 6, 2009 ; proceedings |
| title_auth | Logical foundations of computer science international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3 - 6, 2009 ; proceedings |
| title_exact_search | Logical foundations of computer science international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3 - 6, 2009 ; proceedings |
| title_full | Logical foundations of computer science international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3 - 6, 2009 ; proceedings Sergei Artemov ... (eds.) |
| title_fullStr | Logical foundations of computer science international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3 - 6, 2009 ; proceedings Sergei Artemov ... (eds.) |
| title_full_unstemmed | Logical foundations of computer science international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3 - 6, 2009 ; proceedings Sergei Artemov ... (eds.) |
| title_short | Logical foundations of computer science |
| title_sort | logical foundations of computer science international symposium lfcs 2009 deerfield beach fl usa january 3 6 2009 proceedings |
| title_sub | international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3 - 6, 2009 ; proceedings |
| topic | Berechnungskomplexität - Logik - Kongress - Deerfield Beach <Fla., 2009> Computational logic - Kongress - Deerfield Beach <Fla., 2009> Informatik - Logik - Kongress - Deerfield Beach <Fla., 2009> Logische Programmierung - Kongress - Deerfield Beach <Fla., 2009> Informatik Computer science Congresses Logic, Symbolic and mathematical Congresses Computational logic (DE-588)4255672-7 gnd 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 | Berechnungskomplexität - Logik - Kongress - Deerfield Beach <Fla., 2009> Computational logic - Kongress - Deerfield Beach <Fla., 2009> Informatik - Logik - Kongress - Deerfield Beach <Fla., 2009> Logische Programmierung - Kongress - Deerfield Beach <Fla., 2009> Informatik Computer science Congresses Logic, Symbolic and mathematical Congresses Computational logic Logische Programmierung Logik Berechnungskomplexität Konferenzschrift 2009 Deerfield Beach Fla. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017306080&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT artemovsergein logicalfoundationsofcomputerscienceinternationalsymposiumlfcs2009deerfieldbeachflusajanuary362009proceedings AT lfcsdeerfieldbeachfla logicalfoundationsofcomputerscienceinternationalsymposiumlfcs2009deerfieldbeachflusajanuary362009proceedings |