Full Text Available

Note: Clicking the button above will open the full text document at the original institutional repository in a new window.

Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples

Saved in:
Bibliographic Details
Published in:Logical Methods in Computer Science
Format: Online Article RSS Article
Published: 2014
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1864030186723344387
collection WordPress RSS
FRELIP Feed Integration
container_title Logical Methods in Computer Science
description
discipline_display Engineering & Technology
discipline_facet Engineering & Technology
format Online Article
RSS Article
genre Journal Article
id rss_article:6248
institution FRELIP
journal_source_facet Logical Methods in Computer Science
publishDate 2014
publishDateSort 2014
record_format rss_article
spellingShingle Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples
Computer Science & Information Science
Computer Science & IT
Engineering & Technology
sub_discipline_display Computer Science & IT
sub_discipline_facet Computer Science & IT
subject_display Computer Science & Information Science
Computer Science & IT
Engineering & Technology
Computer Science & Information Science
Computer Science & IT
Engineering & Technology
subject_facet Computer Science & Information Science
Computer Science & IT
Engineering & Technology
title Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples
title_auth Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples
title_full Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples
title_fullStr Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples
title_full_unstemmed Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples
title_short Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples
title_sort infinitary term rewriting for weakly orthogonal systems: properties and counterexamples
topic Computer Science & Information Science
Computer Science & IT
Engineering & Technology
url https://doi.org/10.2168/LMCS-10(2:7)2014