Highlights in infinitary rewriting and lambda calculus release_ulhkxwoambaj3pjimztxxlz6jm

by Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop

Published in Theoretical Computer Science by Elsevier BV.

2012   Volume 464, p48-71

Archived Files and Locations

application/pdf  1.0 MB
file_xguwtx2xwbdr3efb3txpmnn7gy
www.cs.vu.nl (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2012
Language   en ?
Container Metadata
Open Access Publication
Not in DOAJ
In Keepers Registry
ISSN-L:  0304-3975
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 43b192ac-2266-4671-9741-f6c2b0b6e908
API URL: JSON