Languages: from formal to natural: essays dedicated to Nissim Francez on the occasion of his 65th birthday
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2009
|
| Series: | Lecture notes in computer science
5533 : Festschrift |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | X, 244 S. Ill., graph. Darst. 24 cm |
| ISBN: | 9783642017476 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035523779 | ||
| 003 | DE-604 | ||
| 005 | 20090723 | ||
| 007 | t| | ||
| 008 | 090526s2009 xx ad|| |||| 01||| eng d | ||
| 015 | |a 09,N20,0024 |2 dnb | ||
| 016 | 7 | |a 993961886 |2 DE-101 | |
| 020 | |a 9783642017476 |c kart. : EUR 45.96 (freier Pr.), sfr 71.50 (freier Pr.) |9 978-3-642-01747-6 | ||
| 024 | 3 | |a 9783642017476 | |
| 028 | 5 | 2 | |a 12667154 |
| 035 | |a (OCoLC)351305713 | ||
| 035 | |a (DE-599)DNB993961886 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 005.131 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 555f |2 stub | ||
| 245 | 1 | 0 | |a Languages: from formal to natural |b essays dedicated to Nissim Francez on the occasion of his 65th birthday |c Orna Grumberg ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a X, 244 S. |b Ill., 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 5533 : Festschrift | |
| 650 | 4 | |a Formale Sprache - Kongress - Haifa <2009> | |
| 650 | 4 | |a Natürliche Sprache - Linguistische Datenverarbeitung - Kongress - Haifa <2009> | |
| 650 | 4 | |a Programmverifikation - Kongress - Haifa <2009> | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Natürliche Sprache |0 (DE-588)4041354-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computerlinguistik |0 (DE-588)4035843-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Haifa |2 gnd-content | |
| 689 | 0 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Natürliche Sprache |0 (DE-588)4041354-8 |D s |
| 689 | 1 | 1 | |a Computerlinguistik |0 (DE-588)4035843-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Grumberg, Orna |e Sonstige |4 oth | |
| 700 | 1 | |a Francez, Nissim |4 hnr | |
| 830 | 0 | |a Lecture notes in computer science |v 5533 : Festschrift |w (DE-604)BV000000607 |9 5533 | |
| 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=017579924&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017579924 | |
Record in the Search Index
| _version_ | 1820875121143840768 |
|---|---|
| adam_text |
TABLE OF CONTENTS LANGUAGES: FROM FORMAL TO NATURAL MODULAR VERIFICATION
OF RECURSIVE PROGRAMS 1 KRZYSZTOF R. APT, FRANK S. DE BOER, AND
ERNST-RUEDIGER OLDEROG SEMI-FORMAL EVALUATION OF CONVERSATIONAL
CHARACTERS 22 RON ARTSTEIN, SUDEEP GANDHE, JULIAN GERTEN, ANTON LEUSKI,
AND DAVID TRAUM SCOPE DOMINANCE WITH GENERALIZED QUANTIFIERS 36 GILAD
BEN-AVI AND YOAD WINTER NONASSOCIATIVE LAMBEK CALCULUS WITH ADDITIVES
AND CONTEXT-FREE LANGUAGES 45 WOJCIECH BUSZKOWSKI AND MACIEJ FARULEWSKI
ON LAZY COMMUTATION 59 NACHUM DERSHOWITZ ASPECT ORIENTED APPROACH FOR
CAPTURING AND VERIFYING DISTRIBUTED PROPERTIES 83 TZILLA ELRAD NO I-SUMS
FOR NISSIM (AND SHALOM) 97 ITARNAR FRANCEZ THE POWER OF
NON-DETERMINISTIC REASSIGNMENT IN INFINITE-ALPHABET PUSHDOWN AUTOMATA
107 YULIA DUBOV AND MICHAEL KAMINSKI MODULAR VERIFICATION OF STRONGLY
INVASIVE ASPECTS 128 EMILIA KATZ AND SHMUEL KATZ CLASSES OF SERVICE
UNDER PERFECT COMPETITION AND TECHNOLOGICAL CHANGE: A MODEL FOR THE
DYNAMICS OF THE INTERNET? 148 DANIEL LEHMANN ON THE ONTOLOGICAL NATURE
OF SYNTACTIC CATEGORIES IN CATEGORIAL GRAMMAR 170 RANI NELKEN MASKING
GATEWAY FOR ENTERPRISES 177 SARA BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/993961886 DIGITALISIERT DURCH X TABLE OF CONTENTS NO
SYLLOGISMS FOR THE NUMERICAL SYLLOGISTIC 192 IAN PRATT-HARTMANN FORMAL
GRAMMARS OF EARLY LANGUAGE 204 SHULY WINTNER, ALON LAVIE, AND BRIAN
MACWHINNEY HYBRID BDD AND ALL-SAT METHOD FOR MODEL CHECKING 228 AIRI
YADGAR, ORNA GRUMBERG, AND ASSAF SCHUSTER AUTHOR INDEX 245 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035523779 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.7 |
| callnumber-search | QA76.7 |
| callnumber-sort | QA 276.7 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 555f |
| ctrlnum | (OCoLC)351305713 (DE-599)DNB993961886 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | 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">BV035523779</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090723</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090526s2009 xx ad|| |||| 01||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N20,0024</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">993961886</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642017476</subfield><subfield code="c">kart. : EUR 45.96 (freier Pr.), sfr 71.50 (freier Pr.)</subfield><subfield code="9">978-3-642-01747-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642017476</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12667154</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)351305713</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB993961886</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-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.7</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 555f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Languages: from formal to natural</subfield><subfield code="b">essays dedicated to Nissim Francez on the occasion of his 65th birthday</subfield><subfield code="c">Orna Grumberg ... (ed.)</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">X, 244 S.</subfield><subfield code="b">Ill., 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">5533 : Festschrift</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formale Sprache - Kongress - Haifa <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natürliche Sprache - Linguistische Datenverarbeitung - Kongress - Haifa <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmverifikation - Kongress - Haifa <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Natürliche Sprache</subfield><subfield code="0">(DE-588)4041354-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computerlinguistik</subfield><subfield code="0">(DE-588)4035843-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</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">Haifa</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</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">Natürliche Sprache</subfield><subfield code="0">(DE-588)4041354-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Computerlinguistik</subfield><subfield code="0">(DE-588)4035843-4</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">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Grumberg, Orna</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Francez, Nissim</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5533 : Festschrift</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5533</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=017579924&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-017579924</subfield></datafield></record></collection> |
| genre | (DE-588)4016928-5 Festschrift gnd-content (DE-588)1071861417 Konferenzschrift 2009 Haifa gnd-content |
| genre_facet | Festschrift Konferenzschrift 2009 Haifa |
| id | DE-604.BV035523779 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:10:35Z |
| institution | BVB |
| isbn | 9783642017476 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017579924 |
| oclc_num | 351305713 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | X, 244 S. Ill., 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 | Languages: from formal to natural essays dedicated to Nissim Francez on the occasion of his 65th birthday Orna Grumberg ... (ed.) Berlin [u.a.] Springer 2009 X, 244 S. Ill., graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5533 : Festschrift Formale Sprache - Kongress - Haifa <2009> Natürliche Sprache - Linguistische Datenverarbeitung - Kongress - Haifa <2009> Programmverifikation - Kongress - Haifa <2009> Programming languages (Electronic computers) Formale Sprache (DE-588)4017848-1 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Natürliche Sprache (DE-588)4041354-8 gnd rswk-swf Computerlinguistik (DE-588)4035843-4 gnd rswk-swf (DE-588)4016928-5 Festschrift gnd-content (DE-588)1071861417 Konferenzschrift 2009 Haifa gnd-content Formale Sprache (DE-588)4017848-1 s DE-604 Natürliche Sprache (DE-588)4041354-8 s Computerlinguistik (DE-588)4035843-4 s Programmverifikation (DE-588)4135576-3 s Grumberg, Orna Sonstige oth Francez, Nissim hnr Lecture notes in computer science 5533 : Festschrift (DE-604)BV000000607 5533 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017579924&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Languages: from formal to natural essays dedicated to Nissim Francez on the occasion of his 65th birthday Lecture notes in computer science Formale Sprache - Kongress - Haifa <2009> Natürliche Sprache - Linguistische Datenverarbeitung - Kongress - Haifa <2009> Programmverifikation - Kongress - Haifa <2009> Programming languages (Electronic computers) Formale Sprache (DE-588)4017848-1 gnd Programmverifikation (DE-588)4135576-3 gnd Natürliche Sprache (DE-588)4041354-8 gnd Computerlinguistik (DE-588)4035843-4 gnd |
| subject_GND | (DE-588)4017848-1 (DE-588)4135576-3 (DE-588)4041354-8 (DE-588)4035843-4 (DE-588)4016928-5 (DE-588)1071861417 |
| title | Languages: from formal to natural essays dedicated to Nissim Francez on the occasion of his 65th birthday |
| title_auth | Languages: from formal to natural essays dedicated to Nissim Francez on the occasion of his 65th birthday |
| title_exact_search | Languages: from formal to natural essays dedicated to Nissim Francez on the occasion of his 65th birthday |
| title_full | Languages: from formal to natural essays dedicated to Nissim Francez on the occasion of his 65th birthday Orna Grumberg ... (ed.) |
| title_fullStr | Languages: from formal to natural essays dedicated to Nissim Francez on the occasion of his 65th birthday Orna Grumberg ... (ed.) |
| title_full_unstemmed | Languages: from formal to natural essays dedicated to Nissim Francez on the occasion of his 65th birthday Orna Grumberg ... (ed.) |
| title_short | Languages: from formal to natural |
| title_sort | languages from formal to natural essays dedicated to nissim francez on the occasion of his 65th birthday |
| title_sub | essays dedicated to Nissim Francez on the occasion of his 65th birthday |
| topic | Formale Sprache - Kongress - Haifa <2009> Natürliche Sprache - Linguistische Datenverarbeitung - Kongress - Haifa <2009> Programmverifikation - Kongress - Haifa <2009> Programming languages (Electronic computers) Formale Sprache (DE-588)4017848-1 gnd Programmverifikation (DE-588)4135576-3 gnd Natürliche Sprache (DE-588)4041354-8 gnd Computerlinguistik (DE-588)4035843-4 gnd |
| topic_facet | Formale Sprache - Kongress - Haifa <2009> Natürliche Sprache - Linguistische Datenverarbeitung - Kongress - Haifa <2009> Programmverifikation - Kongress - Haifa <2009> Programming languages (Electronic computers) Formale Sprache Programmverifikation Natürliche Sprache Computerlinguistik Festschrift Konferenzschrift 2009 Haifa |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017579924&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT grumbergorna languagesfromformaltonaturalessaysdedicatedtonissimfrancezontheoccasionofhis65thbirthday AT franceznissim languagesfromformaltonaturalessaysdedicatedtonissimfrancezontheoccasionofhis65thbirthday |