Search Sciweavers | Sciweavers

417 search results - page 9 / 84

» Orderings for Innermost Termination

click to vote

RTA
1998
Springer

84views Theoretical Computer Science» more RTA 1998»

Termination Transformation by Tree Lifting Ordering

13 years 11 months ago

Download cl-informatik.uibk.ac.at

Takahito Aoto, Yoshihito Toyama

claim paper

Read More »

click to vote

DATE
2004
IEEE

118views Hardware» more DATE 2004»

Model Order Reduction Techniques for Linear Systems with Large Numbers of Terminals

13 years 11 months ago

Download www.tauworkshop.com

Peter Feldmann

claim paper

Read More »

click to vote

RTA
2000
Springer

98views Theoretical Computer Science» more RTA 2000»

Termination and Confluence of Higher-Order Rewrite Systems

13 years 11 months ago

Download www-rocq.inria.fr

Frédéric Blanqui

claim paper

Read More »

click to vote

CADE
2010
Springer

202views Logical Reasoning» more CADE 2010»

Termination Tools in Ordered Completion

13 years 8 months ago

Download cl-informatik.uibk.ac.at

Sarah Winkler, Aart Middeldorp

claim paper

Read More »

click to vote

CORR
2006
Springer

82views Education» more CORR 2006»

Higher-Order Termination: from Kruskal to Computability

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers