Local Termination (Q3636830): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 17:05, 1 July 2024

scientific article

Language	Label	Description	Also known as
English	Local Termination	scientific article

Statements

scholarly article

0 references

Local Termination (English)

0 references

Jörg Endrullis

0 references

0 references

Johannes Waldmann

0 references

Rewriting Techniques and Applications

0 references

publication date

30 June 2009

0 references

describes a project that uses

0 references

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-642-02348-4_19

0 references

Structural Analysis of Narratives with the Coq Proof Assistant

0 references

Termination of term rewriting using dependency pairs

0 references

The lambda calculus. Its syntax and semantics. Rev. ed.

0 references

Proving Infinitary Normalization

0 references

Matrix interpretations for proving termination of term rewriting

0 references

Match-bounded string rewriting systems

0 references

Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages

0 references

Rewriting Techniques and Applications

0 references

Certification of Proving Termination of Term Rewriting by Matrix Interpretations

0 references

0 references

0 references

A Transformational Approach to Prove Outermost Termination Automatically

0 references

The combinator S

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-642-02348-4_19

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3636830

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3636830&oldid=35115228"