Results 271 to 280 of about 626,551 (298)

Syntax-Guided Rewrite Rule Enumeration for SMT Solvers

International Conference on Theory and Applications of Satisfiability Testing, 2019
A. Nötzli, Andrew Reynolds, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Clark W. Barrett, C. Tinelli   +6 more
semanticscholar   +1 more source

Type Theory Unchained: Extending Agda with User-Defined Rewrite Rules

Types for Proofs and Programs, 2019
Jesper Cockx
semanticscholar   +1 more source

Rewriting Shakespeare, Rewriting Ourselves

South Central Review, 1993
Phyllis McBride, Peter Erickson
openaire   +1 more source

Learning to Rewrite Queries

International Conference on Information and Knowledge Management, 2016
Yunlong He, Jiliang Tang, Ouyang Hua, Changsung Kang, Dawei Yin, Yi Chang   +5 more
semanticscholar   +1 more source

Rewriting

2023
Ken Dancyger, Jessie Keyt, Jeff Rush
openaire   +2 more sources

Multivariate Amortised Resource Analysis for Term Rewrite Systems

International Conference on Typed Lambda Calculus and Applications, 2015
M. Hofmann, G. Moser
semanticscholar   +1 more source

Rewriting Death, Rewriting Life

2015
openaire   +2 more sources

Video Rewrite: Driving Visual Speech with Audio

International Conference on Computer Graphics and Interactive Techniques, 1997
C. Bregler, M. Covell, M. Slaney
semanticscholar   +1 more source

Rewriting myself

Nurse Education Today, 1999
openaire   +2 more sources

REWRITING HISTORY, REWRITING IDENTITY:

2020
openaire   +1 more source