Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
498
search results - page 18 / 100
»
Term Rewriting
Sort
relevance
views
votes
recent
update
View
thumb
title
100
click to vote
CORR
2009
Springer
69
views
Education
»
more
CORR 2009
»
Extending Context-Sensitivity in Term Rewriting
15 years 3 months ago
Download
www.logic.at
Bernhard Gramlich, Felix Schernhammer
claim paper
Read More »
120
click to vote
CORR
2009
Springer
85
views
Education
»
more
CORR 2009
»
Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems
15 years 3 months ago
Download
www.irisa.fr
Benoît Boyer, Thomas Genet
claim paper
Read More »
100
click to vote
TOPLAS
2011
89
views
more
TOPLAS 2011
»
Automated termination proofs for haskell by term rewriting
15 years 25 days ago
Download
www.win.tue.nl
Jürgen Giesl, Matthias Raffelsieper, Peter Sc...
claim paper
Read More »
142
click to vote
JLP
2010
85
views
more
JLP 2010
»
Characterizing and proving operational termination of deterministic conditional term rewriting systems
15 years 21 days ago
Download
www.logic.at
Felix Schernhammer, Bernhard Gramlich
claim paper
Read More »
146
click to vote
TCS
2010
134
views
Theoretical Computer Science
»
more
TCS 2010
»
A compact fixpoint semantics for term rewriting systems
15 years 18 days ago
Download
users.dsic.upv.es
María Alpuente, Marco Comini, Santiago Esco...
claim paper
Read More »
« Prev
« First
page 18 / 100
Last »
Next »
