On the axiomatization of "if-then-else":
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Stanford, CA
CSLI
1985
|
| Schriftenreihe: | Report / Center for the Study of Language and Information
20 |
| Schlagworte: | |
| Beschreibung: | 38 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV014164316 | ||
| 003 | DE-604 | ||
| 005 | 20020222 | ||
| 007 | t | ||
| 008 | 020222s1985 |||| 00||| eng d | ||
| 035 | |a (OCoLC)18333580 | ||
| 035 | |a (DE-599)BVBBV014164316 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 050 | 0 | |a P1 | |
| 088 | |a CSLI 85 20 | ||
| 100 | 1 | |a Guessarian, Irène |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a On the axiomatization of "if-then-else" |c by Irène Guessarian and José Meseguer |
| 264 | 1 | |a Stanford, CA |b CSLI |c 1985 | |
| 300 | |a 38 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Report / Center for the Study of Language and Information |v 20 | |
| 650 | 4 | |a Formal languages |x Semantics | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics | |
| 700 | 1 | |a Meseguer, José |e Verfasser |4 aut | |
| 810 | 2 | |a Center for the Study of Language and Information |t Report |v 20 |w (DE-604)BV000902395 |9 20 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009708570 | ||
Datensatz im Suchindex
| _version_ | 1804129041254449152 |
|---|---|
| any_adam_object | |
| author | Guessarian, Irène Meseguer, José |
| author_facet | Guessarian, Irène Meseguer, José |
| author_role | aut aut |
| author_sort | Guessarian, Irène |
| author_variant | i g ig j m jm |
| building | Verbundindex |
| bvnumber | BV014164316 |
| callnumber-first | P - Language and Literature |
| callnumber-label | P1 |
| callnumber-raw | P1 |
| callnumber-search | P1 |
| callnumber-sort | P 11 |
| callnumber-subject | P - Philology and Linguistics |
| ctrlnum | (OCoLC)18333580 (DE-599)BVBBV014164316 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01059nam a2200325 cb4500</leader><controlfield tag="001">BV014164316</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20020222 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020222s1985 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)18333580</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014164316</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">P1</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">CSLI 85 20</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Guessarian, Irène</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">On the axiomatization of "if-then-else"</subfield><subfield code="c">by Irène Guessarian and José Meseguer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stanford, CA</subfield><subfield code="b">CSLI</subfield><subfield code="c">1985</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">38 S.</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">Report / Center for the Study of Language and Information</subfield><subfield code="v">20</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield><subfield code="x">Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Meseguer, José</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Center for the Study of Language and Information</subfield><subfield code="t">Report</subfield><subfield code="v">20</subfield><subfield code="w">(DE-604)BV000902395</subfield><subfield code="9">20</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009708570</subfield></datafield></record></collection> |
| id | DE-604.BV014164316 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:58:50Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009708570 |
| oclc_num | 18333580 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 38 S. |
| publishDate | 1985 |
| publishDateSearch | 1985 |
| publishDateSort | 1985 |
| publisher | CSLI |
| record_format | marc |
| series2 | Report / Center for the Study of Language and Information |
| spelling | Guessarian, Irène Verfasser aut On the axiomatization of "if-then-else" by Irène Guessarian and José Meseguer Stanford, CA CSLI 1985 38 S. txt rdacontent n rdamedia nc rdacarrier Report / Center for the Study of Language and Information 20 Formal languages Semantics Programming languages (Electronic computers) Semantics Meseguer, José Verfasser aut Center for the Study of Language and Information Report 20 (DE-604)BV000902395 20 |
| spellingShingle | Guessarian, Irène Meseguer, José On the axiomatization of "if-then-else" Formal languages Semantics Programming languages (Electronic computers) Semantics |
| title | On the axiomatization of "if-then-else" |
| title_auth | On the axiomatization of "if-then-else" |
| title_exact_search | On the axiomatization of "if-then-else" |
| title_full | On the axiomatization of "if-then-else" by Irène Guessarian and José Meseguer |
| title_fullStr | On the axiomatization of "if-then-else" by Irène Guessarian and José Meseguer |
| title_full_unstemmed | On the axiomatization of "if-then-else" by Irène Guessarian and José Meseguer |
| title_short | On the axiomatization of "if-then-else" |
| title_sort | on the axiomatization of if then else |
| topic | Formal languages Semantics Programming languages (Electronic computers) Semantics |
| topic_facet | Formal languages Semantics Programming languages (Electronic computers) Semantics |
| volume_link | (DE-604)BV000902395 |
| work_keys_str_mv | AT guessarianirene ontheaxiomatizationofifthenelse AT meseguerjose ontheaxiomatizationofifthenelse |