Author: "Simonsen, Jakob Grue" / Journal: information and computation - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Simonsen, Jakob Grue"' showing total 3 results

Start Over Author "Simonsen, Jakob Grue" Journal information and computation

3 results on '"Simonsen, Jakob Grue"'

1. Infinitary Combinatory Reduction Systems

Author: Ketema, Jeroen and Simonsen, Jakob Grue
Published: 2011
Full Text: View/download PDF

2. Levels of undecidability in rewriting

Author: Endrullis, Jörg, Geuvers, Herman, Simonsen, Jakob Grue, and Zantema, Hans
Published: 2011
Full Text: View/download PDF

3. On modularity in infinitary term rewriting

Author: Simonsen, Jakob Grue
Published: 2006
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results