Term rewriting and lambda calculus
Gespeichert in:
| Veröffentlicht in: | 2012 27th Annual IEEE Symposium on Logic in Computer Science S. 12 |
|---|---|
| 1. Verfasser: | |
| Format: | Tagungsbericht |
| Sprache: | Englisch |
| Veröffentlicht: |
IEEE
01.06.2012
|
| Schlagworte: | |
| ISBN: | 1467322636, 9781467322638 |
| ISSN: | 1043-6871 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Author | Klop, Jan Willem |
|---|---|
| Author_xml | – sequence: 1 givenname: Jan Willem surname: Klop fullname: Klop, Jan Willem |
| BookMark | eNotzD1LxEAQgOERT_By2tnZBPvEmd3JfpQS_DgIWHjWxyaZlUgSZXOH-O8VtHmf7s1gNX_MAnBFWBKhv2229UupkFRJ6gQytMZX_Bt_ChmxsVopo80K1oSsC-MsnUO2LO-IqAzjGm52kqY8yVcaDsP8loe5z8cwtX3IuzB2x_G4XMBZDOMil_9u4PXhflc_Fc3z47a-a4pAlg5FJMcUqQvRkWffK1cZH4106L34tpMWY-V020ePqtI2slPEga3miJZEb-D67zuIyP4zDVNI33ujHDJ5_QNXxEAM |
| CODEN | IEEPAD |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IH CBEJK RIE RIO |
| DOI | 10.1109/LICS.2012.12 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan (POP) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE/IET Electronic Library IEEE Proceedings Order Plans (POP) 1998-present |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE/IET Electronic Library url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 0769547699 9780769547695 |
| EndPage | 12 |
| ExternalDocumentID | 6280419 |
| Genre | orig-research |
| GroupedDBID | --Z 23M 29P 6IE 6IF 6IH 6IK 6IL 6IM 6IN AAJGR AAWTH ADZIZ ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK CHZPO IEGSK IJVOP IPLJI M43 OCL RIE RIL RIO RNS |
| ID | FETCH-LOGICAL-a171t-f1841f1caf81949d28569f6ec099e9bceb0f583bdf902537f48214a4734f071e3 |
| IEDL.DBID | RIE |
| ISBN | 1467322636 9781467322638 |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000309059900006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1043-6871 |
| IngestDate | Wed Aug 27 04:59:00 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a171t-f1841f1caf81949d28569f6ec099e9bceb0f583bdf902537f48214a4734f071e3 |
| PageCount | 1 |
| ParticipantIDs | ieee_primary_6280419 |
| PublicationCentury | 2000 |
| PublicationDate | 2012-June |
| PublicationDateYYYYMMDD | 2012-06-01 |
| PublicationDate_xml | – month: 06 year: 2012 text: 2012-June |
| PublicationDecade | 2010 |
| PublicationTitle | 2012 27th Annual IEEE Symposium on Logic in Computer Science |
| PublicationTitleAbbrev | lics |
| PublicationYear | 2012 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssj0002640 ssib035550373 ssj0000781193 |
| Score | 1.8013971 |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 12 |
| SubjectTerms | Algebra Calculus Computer science Convergence Games Tutorials Vocabulary |
| Title | Term rewriting and lambda calculus |
| URI | https://ieeexplore.ieee.org/document/6280419 |
| WOSCitedRecordID | wos000309059900006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV07T8MwED61iIGpQIt4K0KMpI3jxHbmigqkqqpEQd2q2D4jlhT1AX-fs5uWDixscYbIj4u_O_u-7wDuy1I7bQsTC-VEnAkKUBRjPDYJs5q5BE3Q0nsbytFITafFuAEPOy4MIobkM-z6x3CXb-dm7Y_KeiL1ajlFE5pSig1Xa2s7BJt5wmsoDruwp1DucSQJ-GtlAk79kiyQvIQkexZcbLWf6rbaZcgXveFz_8VngKVdX7RyrwJLAKBB639dP4bOL5MvGu8w6gQaWJ1Ca1vKIar_7DbcTWiHjhb47TWOqveorGxEtqJtGdEi-iPCZQdeB4-T_lNcl0-ISybZKnYUvDHHTOkI9bPCpioXhRNoyCnEQhvUicsV19b5q0YuXaZSlpWZ5JkjxwP5GRxU8wrPIUqcJU9BCfoGhWuJVuSXaXSYaCFyFOYC2n7Is8-NQsasHu3l36-v4MhP6Cbh6hoOVos13sCh-Vp9LBe3YVl_ALjImMk |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV07T8MwED6VggRTgRbxJkKMpMRx4jhzRdWKUFWioG5VbJ8RS4r6gL_POU1LBxa2OEPkx8XfnX3fdwB3ea6sMqn2hbTCjwQFKJIx7uuAGcVsgLrU0nvLksFAjsfpsAb3Gy4MIpbJZ9h2j-VdvpnqpTsqexChU8tJd2DXVc6q2Fpr6yHgjANegXG5DzsS5RZLkqC_0ibg1LOElTQvkZBFCy7W6k9VW25y5NOHrN95cTlgYduVrdyqwVJCULfxv84fQuuXy-cNNyh1BDUsjqGxLubgVf92E25HtEd7M_x2KkfFu5cXxiNrUSb3aBndIeG8Ba_dx1Gn51cFFPycJWzhWwrfmGU6t4T7UWpCGYvUCtTkFmKqNKrAxpIrY91lI09sJEMW5VHCI0uuB_ITqBfTAk_BC6whX0EK-gYFbIGS5JkptBgoIWIU-gyabsiTz5VGxqQa7fnfr29gvzd6ziZZf_B0AQduclfpV5dQX8yWeAV7-mvxMZ9dl0v8A-yKnBI |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2012+27th+Annual+IEEE+Symposium+on+Logic+in+Computer+Science&rft.atitle=Term+rewriting+and+lambda+calculus&rft.au=Klop%2C+Jan+Willem&rft.date=2012-06-01&rft.pub=IEEE&rft.isbn=9781467322638&rft.issn=1043-6871&rft.spage=12&rft.epage=12&rft_id=info:doi/10.1109%2FLICS.2012.12&rft.externalDocID=6280419 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1043-6871&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1043-6871&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1043-6871&client=summon |