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

15 years 4 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

15 years 3 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

15 years 3 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

15 years 26 days 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

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers