Unification in an extensional lambda calculus with ordered function sorts and constant overloading:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Saarbrücken
Univ. des Saarlandes, Fachbereich Informatik
1993
|
| Schriftenreihe: | Universität <Kaiserslautern> / SEKI-Projekt: SEKI report
93,14 |
| Beschreibung: | 35 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009041319 | ||
| 003 | DE-604 | ||
| 005 | 20170407 | ||
| 007 | t | ||
| 008 | 940227s1993 |||| 00||| eng d | ||
| 035 | |a (OCoLC)165080256 | ||
| 035 | |a (DE-599)BVBBV009041319 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-12 | ||
| 088 | |a SR 93 14 | ||
| 100 | 1 | |a Johann, Patricia |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Unification in an extensional lambda calculus with ordered function sorts and constant overloading |c Patricia Johann and Michael Kohlhase |
| 246 | 1 | 3 | |a SR 93 14 |
| 264 | 1 | |a Saarbrücken |b Univ. des Saarlandes, Fachbereich Informatik |c 1993 | |
| 300 | |a 35 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Universität <Kaiserslautern> / SEKI-Projekt: SEKI report |v 93,14 | |
| 700 | 1 | |a Kohlhase, Michael |d 1964- |e Verfasser |0 (DE-588)1129482057 |4 aut | |
| 810 | 2 | |a SEKI-Projekt: SEKI report |t Universität <Kaiserslautern> |v 93,14 |w (DE-604)BV006186516 |9 93,14 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005982693 | ||
Datensatz im Suchindex
| _version_ | 1804123396128112640 |
|---|---|
| any_adam_object | |
| author | Johann, Patricia Kohlhase, Michael 1964- |
| author_GND | (DE-588)1129482057 |
| author_facet | Johann, Patricia Kohlhase, Michael 1964- |
| author_role | aut aut |
| author_sort | Johann, Patricia |
| author_variant | p j pj m k mk |
| building | Verbundindex |
| bvnumber | BV009041319 |
| ctrlnum | (OCoLC)165080256 (DE-599)BVBBV009041319 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01088nam a2200301 cb4500</leader><controlfield tag="001">BV009041319</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170407 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940227s1993 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)165080256</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009041319</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-29T</subfield><subfield code="a">DE-12</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">SR 93 14</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Johann, Patricia</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Unification in an extensional lambda calculus with ordered function sorts and constant overloading</subfield><subfield code="c">Patricia Johann and Michael Kohlhase</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">SR 93 14</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Saarbrücken</subfield><subfield code="b">Univ. des Saarlandes, Fachbereich Informatik</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">35 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">Universität <Kaiserslautern> / SEKI-Projekt: SEKI report</subfield><subfield code="v">93,14</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kohlhase, Michael</subfield><subfield code="d">1964-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1129482057</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">SEKI-Projekt: SEKI report</subfield><subfield code="t">Universität <Kaiserslautern></subfield><subfield code="v">93,14</subfield><subfield code="w">(DE-604)BV006186516</subfield><subfield code="9">93,14</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005982693</subfield></datafield></record></collection> |
| id | DE-604.BV009041319 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:29:06Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005982693 |
| oclc_num | 165080256 |
| open_access_boolean | |
| owner | DE-29T DE-12 |
| owner_facet | DE-29T DE-12 |
| physical | 35 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Univ. des Saarlandes, Fachbereich Informatik |
| record_format | marc |
| series2 | Universität <Kaiserslautern> / SEKI-Projekt: SEKI report |
| spelling | Johann, Patricia Verfasser aut Unification in an extensional lambda calculus with ordered function sorts and constant overloading Patricia Johann and Michael Kohlhase SR 93 14 Saarbrücken Univ. des Saarlandes, Fachbereich Informatik 1993 35 S. txt rdacontent n rdamedia nc rdacarrier Universität <Kaiserslautern> / SEKI-Projekt: SEKI report 93,14 Kohlhase, Michael 1964- Verfasser (DE-588)1129482057 aut SEKI-Projekt: SEKI report Universität <Kaiserslautern> 93,14 (DE-604)BV006186516 93,14 |
| spellingShingle | Johann, Patricia Kohlhase, Michael 1964- Unification in an extensional lambda calculus with ordered function sorts and constant overloading |
| title | Unification in an extensional lambda calculus with ordered function sorts and constant overloading |
| title_alt | SR 93 14 |
| title_auth | Unification in an extensional lambda calculus with ordered function sorts and constant overloading |
| title_exact_search | Unification in an extensional lambda calculus with ordered function sorts and constant overloading |
| title_full | Unification in an extensional lambda calculus with ordered function sorts and constant overloading Patricia Johann and Michael Kohlhase |
| title_fullStr | Unification in an extensional lambda calculus with ordered function sorts and constant overloading Patricia Johann and Michael Kohlhase |
| title_full_unstemmed | Unification in an extensional lambda calculus with ordered function sorts and constant overloading Patricia Johann and Michael Kohlhase |
| title_short | Unification in an extensional lambda calculus with ordered function sorts and constant overloading |
| title_sort | unification in an extensional lambda calculus with ordered function sorts and constant overloading |
| volume_link | (DE-604)BV006186516 |
| work_keys_str_mv | AT johannpatricia unificationinanextensionallambdacalculuswithorderedfunctionsortsandconstantoverloading AT kohlhasemichael unificationinanextensionallambdacalculuswithorderedfunctionsortsandconstantoverloading AT johannpatricia sr9314 AT kohlhasemichael sr9314 |